Ho due sistemi operativi: Windows 8.1 e Ubuntu 14.04. Voglio nascondere il menu di grub. Sto usando grub 2.02 ~ beta2-9. Ho provato le seguenti combinazioni di /etc/default/grub:
\#GRUB_HIDDEN_TIMEOUT=1 \#GRUB_HIDDEN_TIMEOUT_QUIET=true GRUB_TIMEOUT=0Il menu a comparsa è visibile per 10 secondi (se il timeout è impostato per un valore superiore a 0, viene visualizzato correttamente:
GRUB_TIMEOUT=5- ritardo di 5 secondi)GRUB_HIDDEN_TIMEOUT=1 GRUB_HIDDEN_TIMEOUT_QUIET=true GRUB_TIMEOUT=0menù grub è visibile, ho anche provato
GRUB_HIDDEN_TIMEOUT=falsee impostare siaGRUB_TIMEOUTedGRUB_HIDDEN_TIMEOUTa zero e diverse da zero valori\#GRUB_HIDDEN_TIMEOUT=1 \#GRUB_HIDDEN_TIMEOUT_QUIET=true GRUB_TIMEOUT=1 GRUB_TIMEOUT_STYLE=hiddenIl menu di grub è visibile per 1 secondo, provato anche
GRUB_TIMEOUT_STYLE=countdowncon lo stesso risultato, seGRUB_TIMEOUTimpostato su 0, ritardo di 10 secondi
Dopo ogni modifica, digito update-grube riavvio il computer per vedere i risultati.
Secondo GRUB, la documentazione trovata in un info -f grub -n 'Simple configuration'secondo modo è obsoleta. Il modo giusto è il terzo - usando GRUB_TIMEOUT_STYLE, ma sfortunatamente non funziona. Probabilmente è una specie di bug.