Chan-Ho Suh respondeu isso em um comentário :
% bl0ck_qu0te% Para descomentar uma linha em um arquivo de configuração como /etc/default/grub
- que é o arquivo a ser modificado nessa situação - remova #
no início.
Após modificar /etc/default/grub
, o comando sudo update-grub
deve ser executado para aplicar as alterações.