Par défaut, Linux Mint crée plusieurs dossiers utilisateur dans le répertoire personnel : Bureau, Téléchargements, Documents, Images, Musique, Vidéos, etc.
Ces dossiers sont pratiques, car l’environnement de bureau et beaucoup d’applications savent les retrouver automatiquement. Par exemple, un navigateur peut proposer Téléchargements par défaut, un gestionnaire de fichiers peut afficher Images dans la barre latérale, et certaines applications peuvent enregistrer dans Documents.
Mais il arrive que l’on veuille changer la cible de ces dossiers pour les faire pointer vers une autre partition, un second SSD, un disque externe, un dossier synchronisé ou un partage réseau.
Sous Linux Mint, comme sur beaucoup d’environnements de bureau Linux, ces chemins sont gérés par xdg-user-dirs.
Le fichier user-dirs.dirs
La configuration utilisateur se trouve ici :
$HOME/.config/user-dirs.dirsCode language: PHP (php)
Pour l’éditer :
nano "$HOME/.config/user-dirs.dirs"Code language: JavaScript (javascript)
Voici un exemple de fichier en français :
XDG_DESKTOP_DIR="$HOME/Bureau"
XDG_DOWNLOAD_DIR="$HOME/Téléchargements"
XDG_TEMPLATES_DIR="$HOME/Modèles"
XDG_PUBLICSHARE_DIR="$HOME/Public"
XDG_DOCUMENTS_DIR="$HOME/Documents"
XDG_MUSIC_DIR="$HOME/Musique"
XDG_PICTURES_DIR="$HOME/Images"
XDG_VIDEOS_DIR="$HOME/Vidéos"Code language: PHP (php)
Le commentaire du fichier est important : deux formats sont supportés.
- un chemin relatif à
$HOME, comme $HOME/Documents ;
- un chemin absolu, comme
/mnt/data/Documents.
N’utilisez pas de formats exotiques dans ce fichier. Pas de ~, pas de variables maison, pas de commande shell. Gardez des chemins simples. Le fichier n’est pas un terrain de freestyle, même s’il ressemble vaguement à du shell.
Lire la suite