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…

Cette page est en lecture seule. Vous pouvez afficher le texte source, mais ne pourrez pas le modifier. Contactez votre administrateur si vous pensez qu'il s'agit d'une erreur.

{{tag>tutoriel}}

====== Ubuntu : déplacer rapidement le /home ======

Voici les 4 étapes pour déplacer le /home si vous manquez d’espace ou si vous voulez le déplacer sur un autre disque.
  - Créer une nouvelle partition, trouver le UUID (Universally Unique Identifier) et modifier FSTAB
  - Copier l’ancien /home vers le nouveau et vérification
  - Modifier FSTAB et rebooter
  - Tester et effacer l’ancien /home

<WRAP center round important 60%>
les commandes sont dangereuses, faites une sauvegarde préalable !
</WRAP>

Les commandes doivent être exécutées dans un terminal.

===== Pré-requis =====

===== Première étape =====

  * Créez la nouvelle partition ext4 avec Disk Utility
===== Autres étapes =====

  - Repérez l'UUID de la nouvelle partition :<cli prompt='$ '>...@...:~$ sudo blkid
/dev/sda7: UUID="d2ac9a26-c635-4f4a-932d-8b6b3cddd065" TYPE="ext4"</cli>Copiez la valeur qui se trouve après UUID= et sans les guillemets :
  - Faites une copie de **/etc/fstab** :<cli prompt='$ '>...@...:~$ sudo cp /etc/fstab /etc/fstab.$(date +%Y-%m-%d)</cli>
  - Éditez avec les droits d'administration le fichier **/etc/fstab** pour ajouter une ligne à la fin du fichier (remplacez les ??? par votre UUID) :<code - /etc/fstab>UUID=??? /media/home ext4 nodev,nosuid 0 2</code>
  - Assurez-vous que toutes les partitions sont montées :<cli prompt='$ '>...@...:~$ sudo mount -a</cli>
  - Copiez l’ancien /home vers le nouveau :<cli prompt='$ '>...@...:~$ sudo rsync -axS –exclude=’/*/.gvfs’ /home/. /media/home/.</cli>/.gvfs est exclu de la copie
  - Vérifiez le contenu de l’ancien /home par rapport au nouveau :<cli prompt='$ '>...@...:~$ sudo diff -r /home /media/home -x ".gvfs/*"</cli>
  - Éditez à nouveau avec les droits d'administration le fichier **/etc/fstab** en supprimant **/media** pour ne garder que **/home** :<code - /etc/fstab>UUID=??? /home ext4 nodev,nosuid 0 2</code>
  - Sauvegardez, quittez l’éditeur et rebootez la machine
  - Déplacez l’ancien /home :<cli prompt='$ '>...@...:~$ cd /
sudo mv /home /old_home
cd /
sudo mkdir -p /home</cli>
  - Supprimez l’ancien **/home** pour ne garder que le nouveau :<cli prompt='$ '>...@...:~$ cd /
sudo rm -r /old_home</cli>

Pour plus de détails (en anglais) : [[https://help.ubuntu.com/community/Partitioning/Home/Moving]]
===== Conclusion =====

===== Problèmes connus =====

===== Voir aussi =====

  * **(fr)** [[https://macalga.wordpress.com/2011/01/14/ubuntu-comment-rapidement-deplacer-le-home/]]

----
//Basé sur << [[https://macalga.wordpress.com/2011/01/14/ubuntu-comment-rapidement-deplacer-le-home/|Ubuntu : comment rapidement déplacer le /home ?]] >> par Auteur.//

Piste : • Installation de Dolibarr sur votre poste ou sur un serveur dédié • LLSP : un serveur HTTP Lighty + PHP + SQLite (LLSP) • LAMP : un serveur HTTP sous Linux, Apache 2, MySQL et PHP • SSL pour Nginx sur Raspberry Pi : mettre en place un certificat SSL auto-signé • Transformer un compte Pop en Imap • Gnucash : Gérer les finances personnelles

Documentation du Dr FRAPPE

Recherche

Navigation

Imprimer/exporter

Outils