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}}

====== Déplacer ses dossiers personnels sous Linux ======

Les dossiers personnels sous Linux sont les répertoires Documents, Images, Musiques, Vidéos,… créés automatiquement à la racine de votre dossier utilisateur.{{ tutoriel:linux:dossier:deplacer:dossiers_personnels.png?600 |}}

Leur utilisation est recommandée car :
  * ils sont intégrés dans le système avec des raccourcis déjà présent vers ces derniers.
  * les logiciels les utilisent par défaut
  * il permettent de classer facilement vos documents.

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.

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

===== Première étape : Créer les nouveaux dossiers personnels sous Linux ======

S’ils n’existent pas, commencez par les créer à leur nouvel emplacement.

Pour cela, il y a plusieurs manières de faire.

==== Sur une nouvelle installation ====

En ligne de commande, entrez la commande :<cli>$ cd nouvel_emplacement_dossiers_perso && mkdir Documents Images Modèles Musique Téléchargements Vidéos</cli>

==== Sur un système avec déjà des fichiers présents dans les dossiers personnels de home ====

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/** :
  * **Copie vers un nouvel emplacement** :
    * par l’interface graphique
    * ou en ligne de commande :<cli>$ cp -ir ~/Documents/ nouvel_emplacement_dossier_perso/</cli>
  * **Déplacement vers un nouvel emplacement** :
    * par l’interface graphique
    * ou en ligne de commande :<cli>$ mv ~/Documents/* nouvel_emplacement_dossier_perso/Documents/</cli>

===== Autres étapes : Utiliser des liens symboliques =====

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.

{{ tutoriel:linux:dossier:deplacer:dossiers_personnels_sous_linux_remplaces_par_liens_symboliques.png?600 |}}

<WRAP center round important 60%>
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.
</WRAP>
Par exemple, pour le dossier **~/Documents**
  - Supprimer le dossier personnel de votre dossier home :<cli>$ rm -R ~/Documents</cli>
  - Créer le lien symbolique qui remplacera le dossier :<cli>$ ln -s nouvel_emplacement_dossier_perso/Documents/ ~/Documents</cli>

Répétez l’opération pour tous les dossiers personnels à déplacer.

===== Conclusion =====

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

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

  * **(en)** [[http://]]
  * **(fr)** [[http://]]

----
//Basé sur << [[https://www.numetopia.fr/deplacer-les-dossiers-personnels-sous-linux/]] >> par Le Tux Masqué.//

Piste : • Blender : une application très complète de modélisation de tout genres et d'animation • Restaurer un profil de Firefox • Silverstripe • Raspberry Pi OS (anciennement nommé Raspbian) : L'OS du RaspBerry Pi • Tester Paypal sans sortir d'argent (Paypal sandbox) • qpdfview : une visionneuse pour les fichiers pdf • Bloquer les sites pour adultes sous Windows 10 (réglage de l'OS) • VirtualBox : Booter sur une clé usb • Créer une Clé USB Windows 10 • Importer un carnet d'adresses d'un logiciel vers thunderbird

Documentation du Dr FRAPPE

Recherche

Navigation

Imprimer/exporter

Outils