Re: Re : Re: Remettre le fichier GRUB à neuf

2022-02-08 Par sujet Marc Siegwald
oudre le problème, je vous le souhaite. Cassis - Mail d'origine - De: Pierre Meurisse À: debian-user-french@lists.debian.org Envoyé: Sat, 05 Feb 2022 11:31:58 +0100 (CET) Objet: Re: Remettre le fichier GRUB à neuf Bonjour à tous, j'ai plusieurs systèmes sur toutes mes machines et je

Re : Re: Remettre le fichier GRUB à neuf

2022-02-07 Par sujet k6dedijon
Envoyé: Sat, 05 Feb 2022 11:31:58 +0100 (CET) Objet: Re: Remettre le fichier GRUB à neuf Bonjour à tous, j'ai plusieurs systèmes sur toutes mes machines et je n'ai pas eu d'ennuis particuliers avec grub. Il me semble important d'installer grub sur _un seul_ système, celui

Re: Remettre le fichier GRUB à neuf

2022-02-05 Par sujet Pierre Meurisse
Bonjour à tous, j'ai plusieurs systèmes sur toutes mes machines et je n'ai pas eu d'ennuis particuliers avec grub. Il me semble important d'installer grub sur _un seul_ système, celui-ci appelant les autres systèmes installés. Il suffit, lors d'une nouvelle installation de refuser l'installation

Re: Remettre le fichier GRUB à neuf

2022-02-04 Par sujet didier gaumet
Le vendredi 04 février 2022 à 22:47 +0100, ajh-valmer a écrit : [...] > Est-ce que je peux ou dois effacer le contenu de "/etc/grub.d" ? > car faire le ménage dans les fichiers de /etc/grub.d/ = pas facile. > surtout pas! ce sont des fichiers indispensables au fonctionnement de Grub2 le cont

Re: Remettre le fichier GRUB à neuf

2022-02-04 Par sujet ajh-valmer
On Friday 04 February 2022 15:18:19 didier gaumet wrote: > Je pense que tu peux tomber sur ce genre de problèmes quand tu fais du > multiboot: > > 1) vérifier que tu n'as pas par le passé paramétré à la main des trucs > dans /etc/grub.d/40_custom et /etc/grub.d/41_custom. Faire le ménage à > l'int

Re: Remettre le fichier GRUB à neuf

2022-02-04 Par sujet Jean Bernon
ue grub-install écrasant la zone /boot/efi/EFI/debian À ta place j'exécuterai carrément un grub-install pour être sûr de ton menu GRUB. - Mail original - > De: "didier gaumet" > À: debian-user-french@lists.debian.org > Envoyé: Vendredi 4 Février 2022 15:18:19 >

Re: Remettre le fichier GRUB à neuf

2022-02-04 Par sujet didier gaumet
Le vendredi 04 février 2022 à 14:34 +0100, ajh-valmer a écrit : > > "Normarlement..." :-) > mais in fine, le grub.cfg généré ne peut fonctionner (cf ci-dessus). > > Il doit utiliser des infos mémorisées (mais ou, dans quel fichier ?) > que update-grub ajoute dans grub.cfg, d'où ce fichier ult

Re: Remettre le fichier GRUB à neuf

2022-02-04 Par sujet ajh-valmer
On Friday 04 February 2022 14:18:51 Marc Chantreux wrote: > > Normalement on n'y trouve que ce qui est présent sur le système. > ou alors tu te traines plein de vieux kernels parce que tu n'as jamais > fais de apt autoremove ? apt autoremove 0 mis à jour, 0 nouvellement installés, 0 à enlever et

Re: Remettre le fichier GRUB à neuf

2022-02-04 Par sujet ajh-valmer
On Friday 04 February 2022 12:57:54 Sébastien NOBILI wrote: > Le 2022-02-04 12:48, ajh-valmer a écrit : > > Mon fichier "grub.cfg" fait des kilomètres de hauteur, > > à cause de centaines de lignes redondantes et totalement inutiles, > > sans compter des UUID différents dans plusieurs menuentruy d'

Re: Remettre le fichier GRUB à neuf

2022-02-04 Par sujet Marc Chantreux
> Normalement on n'y trouve que ce qui est présent sur le système. ou alors tu te traines plein de vieux kernels parce que tu n'as jamais fais de apt autoremove ? cordialement, marc

Re: Remettre le fichier GRUB à neuf

2022-02-04 Par sujet Sébastien NOBILI
Bonjour, Le 2022-02-04 12:48, ajh-valmer a écrit : Mon fichier "grub.cfg" fait des kilomètres de hauteur, à cause de centaines de lignes redondantes et totalement inutiles, sans compter des UUID différents dans plusieurs menuentruy d'une même partition. Comment recréer un nouveau fichier GRUB

Remettre le fichier GRUB à neuf

2022-02-04 Par sujet ajh-valmer
Bonjour, Mon fichier "grub.cfg" fait des kilomètres de hauteur, à cause de centaines de lignes redondantes et totalement inutiles, sans compter des UUID différents dans plusieurs menuentruy d'une même partition. Comment recréer un nouveau fichier GRUB "grub.cfg", qui ne reprend que les menuentry