- Accueil
- Info légales
- Aide (FAQ)
- Les tags de ce site
- Bloc note
- Articles techniques
- Notes system
- Divers articles
- Drupal
- Notes ITIL 2007
- Notes MS
- Dans le quartier...
- Emploi
- Recettes de cuisine et adresses gourmandes
- mes applis ubuntu préferées
- Divers acronymes du monde social
- Internet 2018
- P2 meublé à louer - quartier du Poteau 75018
- apcos - réseaux sociaux et outils
- Articles techniques
- Divers liens
- Fun
- Mon CV IT
- Nouveautés
Déplacer /home vers une autre partition
https://help.ubuntu.com/community/Partitioning/Home/Moving
- conf new new partition
-
touver l'uuid de cette new partition avec
-
Backup et modif de fstab (mount new partition en /media/home) et reboot.
sudo cp /etc/fstab /etc/fstab.$(date +%Y-%m-%d)
pour comparer :cmp /etc/fstab /etc/fstab.$(date +%Y-%m-%d)
# (identifier) (location, eg sda5) (format, eg ext3 or ext4) (some settings) UUID=???????? /media/home ext3 defaults 0 2
sudo mkdir /media/home
sudo mount -a
-
Use rsync pour copier les données de /home vers /media/home
sudo rsync -aXS --exclude='/*/.gvfs' /home/. /media/home/.
- Check de la copie
- Déplacer /home vers /old_home pour éviter de se tromper par la suite
- Edit fstab de facon à monter la new partition en /home (à la place de /media/home)
- Reboot ou remounter tout. Check du system
- Effacer plus tard l'ancien /old_home