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… :-)

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
Prochaine révision
Révision précédente
tutoriel:partitions:deplacer_home:start1 [2020/10/01 09:52] – [Autres étapes] admintutoriel:partitions:deplacer_home:start1 [2022/08/13 21:58] (Version actuelle) – modification externe 127.0.0.1
Ligne 20: Ligne 20:
  
   * Créez la nouvelle partition ext4 avec Disk Utility   * Créez la nouvelle partition ext4 avec Disk Utility
 +
 ===== Autres étapes ===== ===== Autres étapes =====
  
Ligne 34: Ligne 35:
 ...@...:~$ sudo mv /home /old_home ...@...:~$ sudo mv /home /old_home
 ...@...:~$ sudo mkdir -p /home</cli>**cd /** nous amène au répertoire racine, hors du home pour pouvoir utiliser la commande **sudo mv** pour renommer /home en /old_home, et créer un nouvel espace réservé vide /home. ...@...:~$ sudo mkdir -p /home</cli>**cd /** nous amène au répertoire racine, hors du home pour pouvoir utiliser la commande **sudo mv** pour renommer /home en /old_home, et créer un nouvel espace réservé vide /home.
 +  - Redémarrez la machine.
   - Supprimez l’ancien **/home** pour ne garder que le nouveau :<cli prompt='$ '>...@...:~$ cd /   - Supprimez l’ancien **/home** pour ne garder que le nouveau :<cli prompt='$ '>...@...:~$ cd /
-...@...:~$ sudo rm -/old_home</cli> +...@...:~$ sudo rm -rI /old_home</cli>
-  - redémarrez la machine.+
  
 Pour plus de détails (en anglais) : [[https://help.ubuntu.com/community/Partitioning/Home/Moving]] Pour plus de détails (en anglais) : [[https://help.ubuntu.com/community/Partitioning/Home/Moving]]
 +
 ===== Conclusion ===== ===== Conclusion =====