[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Nommage partitions + grub



Le 16/08/2017 à 22:20, andre_debian@numericable.fr a écrit :

/boot/grub/device.map :
Aucun rapport ni aucun intérêt ici. Ce fichier sert uniquement à faire
la correspondance entre les noms de périphériques sous Linux (/dev/sdX)
et les noms de périphériques sous GRUB (hdN). Ça ne sert à rien si on
utilise les UUID ou labels pour désigner les partitions dans grub.cfg,
comme on devrait le faire et comme c'est le cas par défaut :

Même avec l'info UUID, Grub ne voyait pas ces partitions, juste /dev/sda1

J'avais bien écrit "aucun rapport". Les UUID servent juste à rendre le fonctionnement de GRUB et du système indépendant de la numérotation des disques et partitions.

Si je comprends bien, quelqu'un avait modifié les permissions de ce
fichier pour qu'il ne soit plus exécuté au lieu de le désactiver
proprement dans /etc/default/grub avec GRUB_DISABLE_OS_PROBER=true ou de
désinstaller le paquet os-prober auquel il appartient ?
C'est pas joli joli... :

Faudra le dire à notre admin-sys :-)

Je n'ai pas l'honneur de le connaître.

GRUB_DISABLE_OS_PROBER=true : arrête la détection des partitions
GRUB_DISABLE_OS_PROBER=false : valide la détection des partitions :
Right ?

Oui. Pas besoin de mettre la valeur à false, c'est le comportement par défaut.


Reply to: