Para reverter a execução da mudança
sudo sed -i -e 's/GRUB_TERMINAL/#GRUB_TERMINAL/g' /etc/default/grub
Ou quando você editar o / etc / default / grub, basta adicionar um # à linha GRUB_TERMINAL.
Em seguida, execute
sudo update-grub
A reinicialização
O FWIW sed é um comando poderoso e substitui uma picada por outra, então todo o comando sed está fazendo comentários ou removendo o comentário (#) da opção GRUB_TERMINAL.
exemplo:
echo GRUB_TERMINAL
GRUB_TERMINAL
echo GRUB_TERMINAL | sed -e 's/GRUB_TERMINAL/#GRUB_TERMINAL/g'
#GRUB_TERMINAL
echo GRUB_TERMINAL | sed -e 's/GRUB_TERMINAL/#GRUB_TERMINAL/g'| sed -e 's/#GRUB_TERMINAL/GRUB_TERMINAL/g
GRUB_TERMINAL
o comando -i edita o arquivo / etc / default / grub neste caso