Problème : Au démarrage d'Ubuntu (11.10), une fois sur trois ou quatre, de manière apparemment aléatoire, apparaît le message suivant :
An error occurred while mounting /media/disque
Le système donne le choix entre régler le problème à la main (tapez M
) ou continuer comme si de rien n'était (tapez S
) ; mais si l'on choisit la dernière option, notre disque externe ne sera pas monté sur /media/disque
.Explication : Dans mon cas, cela tenait à une imprécision de mon fichier
/etc/fstab
(le fichier qui contient les instructions de montage pour chaque partition au démarrage), dont la ligne de montage du disque externe commençait par/dev/sdc1 /media/disque [...]
Comme on le voit, cette ligne identifiait le disque externe par son adresse de périphérique
dev/sdc1
. Or ce nom n'est pas attribué pour l'éternité, mais réinitialisé à chaque fois au démarrage. Une fois de temps en temps, la partition que je destinais à la racine recevait le nom /dev/sdc1
, et était donc montée sur /media/disque
au lieu de la partition racine ! Conséquences immédiates : non seulement elle ne pouvait plus jouer son rôle de partition racine, mais elle occupait une place dès lors logiquement refusée à mon disque externe.Solution : Il faut identifier la partition à monter, non par son adresse de périphérique dans
/dev
, qui peut changer à chaque démarrage, mais par son UUID : un code qui la désigne de manière unique, et qui n'est modifié qu'à chaque formatage. Pour connaître l'UUID, tapezls -l /dev/disk/by-uuid
Vous obtiendrez alors une liste contenant notamment une ligne du genre
lrwxrwxrwx 1 root root 10 2012-01-07 06:38 D0B1-169E -> ../../sdc1
(mais l'UUID peut être beaucoup plus long : par exemple
4db90923-1d1c-43f4-bca8-51650f1cc5d6
). Il suffit ensuite de remplacer dans le fichier /etc/fstab
la ligne /dev/sdc1 /media/disque [...]
par la ligne
UUID=DoB1-169E /media/disque [...]
Vous pouvez ensuite redémarrer pour être sûr que tout fonctionne bien !
Aucun commentaire:
Enregistrer un commentaire