Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentesRévision précédenteProchaine révision | Révision précédenteProchaine révisionLes deux révisions suivantes | ||
tutoriel:partitions:deplacer_home:start1 [2020/10/01 09:52] – [Autres étapes] admin | tutoriel:partitions:deplacer_home:start1 [2020/10/19 21:08] – admin | ||
---|---|---|---|
Ligne 15: | Ligne 15: | ||
Les commandes doivent être exécutées dans un terminal. | Les commandes doivent être exécutées dans un terminal. | ||
- | ===== Pré-requis ===== | + | ====== Pré-requis |
- | ===== Première étape ===== | + | ====== Première étape |
* Créez la nouvelle partition ext4 avec Disk Utility | * Créez la nouvelle partition ext4 avec Disk Utility | ||
- | ===== Autres étapes ===== | + | |
+ | ====== Autres étapes | ||
- Repérez l'UUID de la nouvelle partition :<cli prompt=' | - Repérez l'UUID de la nouvelle partition :<cli prompt=' | ||
Ligne 34: | Ligne 35: | ||
...@...:~$ sudo mv /home /old_home | ...@...:~$ sudo mv /home /old_home | ||
...@...:~$ sudo mkdir -p / | ...@...:~$ sudo mkdir -p / | ||
+ | - Redémarrez la machine. | ||
- Supprimez l’ancien **/home** pour ne garder que le nouveau :<cli prompt=' | - Supprimez l’ancien **/home** pour ne garder que le nouveau :<cli prompt=' | ||
- | ...@...:~$ sudo rm -r / | + | ...@...:~$ sudo rm -rI / |
- | - redémarrez la machine. | + | |
Pour plus de détails (en anglais) : [[https:// | Pour plus de détails (en anglais) : [[https:// | ||
- | ===== Conclusion ===== | ||
- | ===== Problèmes connus ===== | + | ====== Conclusion ====== |
+ | |||
+ | ====== Problèmes connus | ||
- | ===== Voir aussi ===== | + | ====== Voir aussi ====== |
* **(fr)** [[https:// | * **(fr)** [[https:// |