Forum-Francophone-LinuxMint.fr

je viens de refaire une installation, en choisisant la partition efi juste avant celle de W11 et miracle, j'ai un grub avec lmde en premier !.
j'ai pas tout compris... merçi encore pour ton aide.

[kiki@kiki:~$ cat /etc/default/grub
# If you change this file or any /etc/default/grub.d/*.cfg file,
# run 'update-grub' afterwards to update /boot/grub/grub.cfg.
# For full documentation of the options in these files, see:
# info -f grub -n 'Simple configuration'

GRUB_DEFAULT=0
GRUB_TIMEOUT=10 ...

bonjour jennatux et alain.

kiki@kiki:~$ sudo sed -i 's/GRUB_DEFAULT="Debian GNU\/Linux"/GRUB_DEFAULT=0/' /etc/default/grub
[sudo] Mot de passe de kiki :
kiki@kiki:~$ sudo update-grub
Generating grub configuration file ...
Le script « /boot/grub/grub.cfg.new » ne contient aucune commande et ne ...

bonjour.

[kiki@kiki:~$ cat /etc/default/grub
# If you change this file or any /etc/default/grub.d/*.cfg file,
# run 'update-grub' afterwards to update /boot/grub/grub.cfg.
# For full documentation of the options in these files, see:
# info -f grub -n 'Simple configuration'

GRUB_DEFAULT="Debian ...

onté

** (xed:43077): CRITICAL **: 16:42:18.621: xed_conversion_error_info_bar_get_encoding: assertion 'menu' failed
kiki@kiki:~$ sudo update-grub
[sudo] Mot de passe de kiki :
Generating grub configuration file ...
Le script « /boot/grub/grub.cfg.new » ne contient aucune commande et ne fera rien ...

ok pour ouvrir le fichier grub mais tu crois que je dois copié ton grub ; bizarre !

Merçi jennatux pour ta réponse.Mais je sais pas comment on fait pour changer de fichier grub, en étant sur que c'est çà. Car ton exemple ok mais c'est le tien...

bonjour jennatux.

jai çà dans le fichier. kiki@kiki:~$ cat /etc/default/grub
# If you change this file or any /etc/default/grub.d/*.cfg file,
# run 'update-grub' afterwards to update /boot/grub/grub.cfg.
# For full documentation of the options in these files, see:
# info -f grub -n 'Simple ...

Bonsoir jennetux. Je viens de voir ton message. Mais je suis un peu malade. Je regarderai demain dans le fichier grub. Merçi

Bonjour tous.
j'ai à peu près réussi l'installation de lmde mais par contre, j'ai pas de grub pour démarrer. J'ai été obligé de faire un démarrage sur une autre installation en modifiant le grub avec os-prober. J'ai essayé plusieurs choses avec le live de la clé usb 'gigi' mais rien à faire pas de ...