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>
  - Vérifiez le contenu de l’ancien /home par rapport au nouveau ; la seule différence devrait être /.gvfs exclu de la copie par la commande précédente
  - É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 : • Tout sur les expressions régulières dans Calibre • Dnsmasq : paramètres de configuration • Préparation de la carte µ-SD pour un Raspberry Pi • Déplacer la racine (répertoire de base) d'un serveur HTTP • Création d'un serveur local SubVersioN • Techniques électroniques • Bloquer tous les sites pornographiques ou malveillants avec OpenDNS • Gourmet Recipe manager : gestionnaire de recettes de cuisine • Dolibarr : Gestion d'une entreprise • Freebox server

Documentation du Dr FRAPPE

Recherche

Navigation

Imprimer/exporter

Outils