Les dossiers personnels sous Linux sont les répertoires Documents, Images, Musiques, Vidéos,… créés automatiquement à la racine de votre dossier utilisateur.
Leur utilisation est recommandée car :
Mais leur emplacement d’origine peut présenter des désavantages comme en cas de partage avec des dossiers windows.
Il est possible de les déplacer « proprement » en gardant leurs propriétés.
S’ils n’existent pas, commencez par les créer à leur nouvel emplacement.
Pour cela, il y a plusieurs manières de faire.
En ligne de commande, entrez la commande :
$ cd nouvel_emplacement_dossiers_perso && mkdir Documents Images Modèles Musique Téléchargements Vidéos
Si les dossiers personnels du home contiennent déjà des documents, une alternative est de les copier ou les déplacer vers leur nouvel emplacement.
Par exemple, pour le dossier ~/Documents/ :
$ cp -ir ~/Documents/ nouvel_emplacement_dossier_perso/
$ mv ~/Documents/* nouvel_emplacement_dossier_perso/Documents/
Nous allons remplacer les dossiers personnels présents dans le répertoire home par des liens symboliques pointant vers les nouveaux emplacements. Ainsi pour votre système, les dossiers personnels seront toujours accessibles avec leur chemin original depuis le dossier home même si en réalité ils sont situés ailleurs.
Pas de retour en arrière possible, donc vérifier bien avant de supprimer le répertoire qu’il soit vide ou qu’il ne contienne rien d’essentiel.
Par exemple, pour le dossier ~/Documents
$ rm -R ~/Documents
$ ln -s nouvel_emplacement_dossier_perso/Documents/ ~/Documents
Répétez l’opération pour tous les dossiers personnels à déplacer.
Basé sur « https://www.numetopia.fr/deplacer-les-dossiers-personnels-sous-linux/ » par Le Tux Masqué.