Você deve editar os scripts de configuração diretamente. Não há como adicionar outb 0x728 1
ao arquivo grub.conf, pois os scripts que originam as variáveis não sabem como gerenciar essas entradas. Isso é dito nas páginas de informações:
Para uma personalização mais detalhada da saída do 'grub-mkconfig', você pode
edite os scripts em '/etc/grub.d' diretamente . '/etc/grub.d/40_custom' é
particularmente útil para adicionar entradas de menu personalizadas inteiras; simplesmente digite
as entradas do menu que você deseja adicionar no final desse arquivo, certificando-se
para deixar pelo menos as duas primeiras linhas intactas.
Então, o que fazer, para as entradas do Linux, você pode querer editar o arquivo /etc/grub.d/10_linux
, com muito cuidado. Você pode procurar a função linux ()
e estudar seus componentes internos. A coisa toda é muito complexa e eu não tocaria sem um backup. Você pode ver a saída do arquivo apenas executando /etc/grub.d/10_linux
em seu shell, então veja onde você deseja adicionar suas linhas especiais, editá-lo, executá-lo novamente e ver se você está satisfeito com os resultados.