Et si je mets un délai court aussi, y a moyen d'accéder au menu de GRUB au besoin (sans passer par le système et regénérer la configuration de GRUB, ce qui peut ne pas être si simple si par exemple le kernel a un problème et que je veux booter sur un kernel plus vieux)?
Film d'animation libre en CC by-sa/Art Libre, fait avec GIMP et autre logiciels libres: ZeMarmot [ http://film.zemarmot.net ]
[^] # Re: fastboot linux ?
Posté par Jehan (site web personnel, Mastodon) . En réponse au message Fastboot et accès aisé au bios?. Évalué à 2.
Et si je mets un délai court aussi, y a moyen d'accéder au menu de GRUB au besoin (sans passer par le système et regénérer la configuration de GRUB, ce qui peut ne pas être si simple si par exemple le kernel a un problème et que je veux booter sur un kernel plus vieux)?
Film d'animation libre en CC by-sa/Art Libre, fait avec GIMP et autre logiciels libres: ZeMarmot [ http://film.zemarmot.net ]