Montage de partitions

Monter d’autres partitions

On peut monter d’autres partitions comme partie de l’arbre des répertoires. J’ai d’abord essayé avec /usr. Par la suite, j’ai essayé /home/moi (où j’utilise ici « moi » comme variable pour mon nom ou le vôtre) en écrivant dans /etc/fstab

/dev/hda8   /home/moi   ext3   defaults   0   2 

(ce qui est très utile en cas de réinstallation. On récupère tous ses documents et ses préférences de desktop. Aussi le courrier). Pour que les changements dans fstab prennent effet sans redémarrer, il faut exécuter mount -a. Voir aussi mes considérations sur le partitionnement.

UUID dans fstab

Les disques et les partitions ont une adresse absolue que l’on peut utiliser dans /etc/fstab. On trouve l’UUID par

# vol_id -u /dev/hdc7
477de307-f8fe-475f-876f-2bc99011af79

(j’ai un nouveau disque depuis que j’ai écrit ci-dessus une entrée de fstab avec hda8) et on peut alors écrire dans /etc/fstab

UUID=477de307-f8fe-475f-876f-2bc99011af79 /home ext3 defaults 0 2