Aujourd’hui, je vous propose un mini tutoriel dans lequel nous allons voir comment déplacer le dossier /home (ou tout autre dossier d’ailleurs) sur une autre partition ou un autre disque dur. Avant de commencer, il vous faut:
- Les droits du super utilisateur (via sudo par exemple)
- Un disque avec une partition formatée en ext* (ici ext3) avec un espace suffisant
- Le chemin attribué à la partition (/dev/machin1). Pour le trouver, la commande df -h devrait vous aider
- Quelques connaissances avec le terminal Linux
Pour commencer, nous allons transférer les données situés dans le dossier /home vers le nouveau disque dur (ici /dev/sda5) puis appliquer les bons droits. Pour cela, rien de plus simple:
mkdir /tmphome
chmod 775 -R /tmphome
mount /dev/sda5 /tmphome
cp -av /home/. /tmphome
# Attention: commande dangereuse :O
rm -rf /home/*
chmod 775 -R /tmphome
Une fois ceci fait, nous allons remonter le lecteur dans le dossier /home:
umount /tmphome
rm -rf /tmphome
mount /dev/sda5 /home
Pour terminer, nous allons « fixer » le tout. Pour cela, nous allons éditer le ficher /etc/fstab:
nano /etc/fstab
pour ajouter cette ligne à la fin (à adapter bien entendu):
/dev/sda5 /home ext3 defaults,noatime 0 0
Et voilà, c’est terminé! Vous pouvez dès à présent redémarrer votre ordinateur et admirer le résultat :-).