Retourner au contenu associé (entrée de forum : Comment activer un noyau installé depuis de Gestionnaire de mises à jour ?)
Posté par Ibiscus le 09 décembre 2018 à 22:49. En réponse au message Comment activer un noyau installé depuis de Gestionnaire de mises à jour ?. Évalué à 1. Dernière modification le 10 décembre 2018 à 09:11.
Ici, le menu de GRUB s'affiche pendant quelques secondes (c'est suffisant pour choisir le plus souvent). Mais le sous-menu contenant les noyaux ne semble pas à jour.
Le début du fichier de configuration contient ceci :
GRUB_DEFAULT="saved" #GRUB_HIDDEN_TIMEOUT="0" GRUB_HIDDEN_TIMEOUT_QUIET="true" GRUB_TIMEOUT="10" GRUB_DISTRIBUTOR="`lsb_release -i -s 2> /dev/null || echo Debian`" #GRUB_CMDLINE_LINUX_DEFAULT="quiet splash" GRUB_CMDLINE_LINUX=""
J'hésite gravement à toucher à ce texte. En cas de pépin, je ne saurais pas rétablir le boot. :-(
On va déjà essayer avec GRUB_DEFAULT=0.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Noyaux absents
Posté par Ibiscus . En réponse au message Comment activer un noyau installé depuis de Gestionnaire de mises à jour ?. Évalué à 1. Dernière modification le 10 décembre 2018 à 09:11.
Ici, le menu de GRUB s'affiche pendant quelques secondes (c'est suffisant pour choisir le plus souvent). Mais le sous-menu contenant les noyaux ne semble pas à jour.
Le début du fichier de configuration contient ceci :
J'hésite gravement à toucher à ce texte. En cas de pépin, je ne saurais pas rétablir le boot. :-(
On va déjà essayer avec GRUB_DEFAULT=0.