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
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-uuidVous 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 !
