[Linux] Modifier GRUB

[Victor Stinner]

(réémission du message pour cause de soucis avec la liste de diffusion Linux)

Le jeudi 01 octobre 2009 10:26:10, Jerome Ferry a écrit :
> Bonjour Marc et merci de ta réponse.
> 
> J'ai fais comme cela, j'ai ajouté: kopt=root=/dev/sda1 dans menu.lst
> J'ai sauvé le fichier et lancé update-grub. J'ai réouvert le fichier et
> trouvé toutes mes entrée avec
> root=UUID=40792a82-7e3e-4059-9252-e060204228f7 ro
> au lieu de root=/sev/sda1 ro

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.

-- 
Victor Stinner
http://www.haypocalc.com/