No renderer 'odt' found for mode 'odt'

Documentation du Dr FRAPPE

Ce wiki regroupe les résultats de mes expériences en informatique accumulés au cours de mes recherches sur le net.

Dans la mesure du possible, j'ai cité mes sources ; il en manque certainement… :-)

Déplacer le /home sur une partition dédiée

1. Opérations en bref (cas d'un RPI)

Examinez les partitions :

sudo df -h

On voit que la nouvelle partition a été créée en /dev/sda8 avec le label home.

Créez le répertoire de montage de la nouvelle partition :

sudo mkdir /homenew

Démontez la nouvelle partition et remontez-la sur /homenew :

sudo umount /dev/sda8
sudo mount /dev/sda8 /homenew

Copiez dans /homenew toute l'arborescence de /home en conservant les droits :

sudo cp -rp /home/. /homenew

Rebootez en single user

sudo reboot

Démontez la nouvelle partition pour pouvoir renommer homenew en home -

sudo umount /dev/sda8

Démontez la partition ancienne pour pouvoir renommer home en homeold umount /dev/sda11

  • Renommage du répertoire home en homeOld
mv home homeOld

Renommez du répertoire homenew en home

sudo mv /homenew /home
  • Montage de la nouvelle partition sur home
mount /dev/sda3 /home
  • Montage de la partition ancienne sur homeOld
mount /dev/sda11 /homeOld
  • modification de fstab pour prendre en compte ces modifications.

Pour connaître l'UUID de la partition à utiliser :

sudo blkid

Éditez avec les droits d'administration le fichier /etc/fstab pour le modifier comme ceci :

/etc/fstab
(...)
#	/home (/dev/sda8)
UUID=45700d43-6db7-4b70-8b24-3e72f0b935b9	/home	ext4	defaults	0	1
(...)

QR Code
QR Code tutoriel:systeme:deplacerhome (generated for current page)