Anomalie #1133
Menu Grub
Start date:
10/22/2010
Due date:
% Done:
100%
Estimated time:
0.75 h
Distribution:
Description
Ce serait bien que par défaut le menu grub apparaisse au moins 2 ou 5 secondes !
Si on est perfectionniste, ça pourrait être configurable dans gen_config ;)
History
#1 Updated by Joël Cuissinat almost 13 years ago
http://grub.enbug.org/OptionsDeGrub
mettre GRUB_HIDDEN_TIMEOUT_QUIET=false dans /etc/default/grub ?
Au final, je me demande l'utilité du sed sur GRUB_TIMEOUT dans regen_grub
#2 Updated by Jerome Soyer almost 13 years ago
- Assigned To set to Jerome Soyer
#3 Updated by Bruno Boiget almost 13 years ago
- Target version changed from 2.3 BETA 3 => publiée en Beta 4 to EOLE 2.3 RC1
#4 Updated by Laurent Flori almost 13 years ago
- Status changed from Nouveau to Résolu
- % Done changed from 0 to 100
#5 Updated by Joël Cuissinat almost 13 years ago
- Status changed from Résolu to Fermé