[Linux] Modifier GRUB

[Steve Schnepp]

Perso j'utilise plutôt des labels avec LABEL="MaPartitionRoot",
LABEL="MaPartitionHome", etc..

C'est un peu plus flexible que les UUID que l'on ne maitrise pas forcément
(surtout sur les systemes de fichiers qui n'en ont pas...).
Mais evidemment, c'est beaucoup moins discriminant. Si le label de /home est
"/home"... et que l'on monte une anciene partition, qui a souvent le même
label, ca peut faire des surprises intéressantes.

-- 
Steve Schnepp
http://blog.pwkf.org/


Le 12 janvier 2010 10:38, Eric Bischoff <ebischoff@::1> a écrit :

> Le 11 janv. 10 à 16:43, Victor Stinner a écrit :
>
>> Identifier un disque dur selon son UUID est très pratique. Ca évite que le
>> boot échoue car /dev/sda1 est devenu /dev/hda1 ou encore /dev/sdb3.
>>
>> root=UUID=40792a82-7e3e-4059-9252-e060204228f7 va scanner séquentiellement
>> tous les disques dur jusqu'à trouver ta partition Linux chérie.
>>
>
> Bonjour,
>
>
> J'ai récemment déplacé un système de fichiers Linux en le copiant sur une
> autre partition d'un autre disque, plus grande.
>
> Je suppose que dans ce cas, l'UUID change ? Et que c'est justement le genre
> de cas où il vaut mieux utiliser des noms de périphériques ?
>
> (J'aurais dû calculer le nouvel UUID et le comparer à l'ancien quand j'ai
> déplacé ce système de fichiers, ça m'aurait permis de répondre à cette
> question tout seul. Mais je n'y ai pas pensé à l'époque.)
>
>
> Éric Bischoff
> ebischoff@::1
>
>
>
>
-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <https://strasbourg.linuxfr.org/pipermail/linux/attachments/20100112/99f0a785/attachment-0001.htm>