Forum-Francophone-LinuxMint.fr

Dernier message de la page précédente :

Hello tous

Ce sujet revient de manière récurrente. Pourquoi faire simple quand on peut faire compliqué?

Il y a UNE SEULE bonne manière de faire, quand on veut définir les dossiers Documents, Vidéos, Musique, etc. vers une destination différente de la destination initiale: c'est par le paramétrage d'un fichier qui justement est fait pour cela.

1- vous allez dans /home/utilisateur/.config (donc fichier caché), et vous ouvrez le fichier user-dirs.dirs avec n'importe quel éditeur

2- vous renseignez les dossiers cibles

par exemple, chez moi, cela donne

Code : Tout sélectionner

# This file is written by xdg-user-dirs-update
# If you want to change or add directories, just edit the line you're
# interested in. All local changes will be retained on the next run
# Format is XDG_xxx_DIR="$HOME/yyy", where yyy is a shell-escaped
# homedir-relative path, or XDG_xxx_DIR="/yyy", where /yyy is an
# absolute path. No other format is supported.
# 
XDG_DESKTOP_DIR="$HOME/Bureau"
XDG_DOWNLOAD_DIR="/mnt/Documents/Téléchargements"
XDG_TEMPLATES_DIR="$HOME/Modèles"
XDG_PUBLICSHARE_DIR="$HOME/Public"
XDG_DOCUMENTS_DIR="/mnt/Documents"
XDG_MUSIC_DIR="/mnt/Documents/Musique"
XDG_PICTURES_DIR="/mnt/Documents/Images"
XDG_VIDEOS_DIR="/mnt/Documents/Vidéos"

on voit par exemple que la variable XDG_MUSIC_DIR qui définit le répertoire Musique par défaut, est passé de "$HOME/Musique" (donc dans le répertoire home de l'utilisateur), à "/mnt/Documents/Musique", qui se trouve justement, comme veut notre ami CoreVegan, sur un autre disque.

Et, cerise sur le gâteau, pas besoin de changer les icônes des dossiers! Le système associera naturellement les icônes concernées.

A galon

phcook

Salut phcook

J'ai souvent tripatouiller ce fichier quand certaines distributions sont mal traduites
Mais pour quelqu'un qui n'est pas encore très a l'aise sur Linux ,c'est peut etre un peu du Chinois

Hello Bluc

Tu n'as sans doute pas tort.

Je reprends donc.

Quand on installe linux mint (entre autres), on a création automatique du fichier /home/utilisateur/.config/user-dirs.dirs, qui contient les chemins d'accès vers les répertoires courants: Documents, Bureau, Téléchargements, Public, Vidéos, Images, Musique, et qui associera automatiquement ces répertoires avec les icônes correspondantes: le dossier avec la note de musique, le dossier avec la petite photo, etc.

Il est comme çà de base:

Code : Tout sélectionner

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"

On voit que chaque ligne correspond au répertoire par défaut, auquel sera associée l'icône système par défaut. En ce qui me concerne, mon nom d'utilisateur étant phcook, le fichier ci-dessus remplacera la variable $HOME par phcook, et donc mon répertoire "Musique", par exemple, se trouverait dans /home/phcook/Musique si je ne change rien. Donc tous ces dossiers sont dans le répertoire utilisateur par défaut.

Pour personnaliser ses répertoires, l'utilisateur a juste à remplacer les valeurs par défaut par le chemin du répertoire qu'il veut utiliser. C'est ainsi que mon propre fichier user-dirs.dirs est devenu

Code : Tout sélectionner

XDG_DESKTOP_DIR="$HOME/Bureau"
XDG_DOWNLOAD_DIR="/mnt/Documents/Téléchargements"
XDG_TEMPLATES_DIR="$HOME/Modèles"
XDG_PUBLICSHARE_DIR="$HOME/Public"
XDG_DOCUMENTS_DIR="/mnt/Documents"
XDG_MUSIC_DIR="/mnt/Documents/Musique"
XDG_PICTURES_DIR="/mnt/Documents/Images"
XDG_VIDEOS_DIR="/mnt/Documents/Vidéos"

et on voit les modifs que j'ai faites. Ainsi, mon répertoire "Musique" sera dans /mnt/Documents/Musique; on voit aussi que j'ai laissé les répertoires Bureau, Modèles et Public inchangés.

Vous avez compris que, si c'est dans /mnt, c'est parce que ce répertoire se trouve sur un autre disque dur, monté automatiquement au démarrage dans /mnt/Documents.

Suis-je assez clair cette fois?

Bien cordialement

phcook

en ce qui me concerne tu as raison Phcook, j'avais pas bien compris ce qu'il voulait, mais après re lecture

Oui c'est clair mais malgré que tous est en liens vers une autre partition /fichiers, chez moi
mon user/dires/dires est inchangé et les icônes ont aussi leur signe représentatif de leur attribution

Code : Tout sélectionner

XDG_DESKTOP_DIR="$HOME/Bureau"
XDG_DOWNLOAD_DIR="$HOME/Téléchargements"
XDG_TEMPLATES_DIR="$HOME/Modèles"
XDG_PUBLICSHARE_DIR="$HOME/"
XDG_DOCUMENTS_DIR="$HOME/Documents"
XDG_MUSIC_DIR="$HOME/Musique"
XDG_PICTURES_DIR="$HOME/Images"
XDG_VIDEOS_DIR="$HOME/Vidéos"

les liens ont été fait par un simple glisser d'un dossier a l'autre avec le clic molette (on ne peut plus simple, meme pas a renommer)

Hello Bluc

Bien sûr, ça marche, mais le fichier user-dirs.dirs est fait pour cela, et tu n'as pas les petites flèches qui indiquent que tu as créé un raccourci. Quand quelque chose est prévu pour, mieux vaut l'utiliser. Et l'un des intérêts de linux est qu'en général, c'est prévu pour être paramétrable proprement, sans rustine.

Ta façon de faire est la bonne, sauf pour les dossiers prédéfinis comme Documents, Images, etc.

A galon

phcook

Je suis d'accord , mais je me mets toujours a la place de celui qui comme moi il y a quelques années découvre non seulement Linux mais l'informatique en général
On l'oublie un peu trop souvent, pas moi parce que j'ai trop de lacunes.
A ce niveau on aime bien ce qui est graphique
On a vu encore dernièrement l'exemple avec freddu09 qui a eu bien du mal a modifier un lien pour une vidéo youtube

phcook a écrit :Ta façon de faire est la bonne, sauf pour les dossiers prédéfinis comme Documents, Images, etc.

Pourquoi ?... la seule différence c'est qu'il ont une petite flèche indiquant que c'est un lien

Oui effectivement ta méthode est la meilleure et la plus logique , mais c'est la première fois que quelqu'un la propose et apres réflexion elle est plutôt simple
Mais je n'arrive pas a la faire fonctionner chez moi
J'ai fait une installation hier soir en créant une partition de données séparée avec point de montage /fichiers
On voit bien dans la capture le dossier /fichiers

j'ai donc modifier le fichier user-dires.dires pour un essai avec le dossier Musique de cette façon

Code : Tout sélectionner

XDG_MUSIC_DIR="/fichiers/Musique"

Quand je vais dans le dossier /fichiers, donc ma partition de données, je ne vois pas le dossier Musique et au redemarrage le fichier user-dires.dires la modification a été effacer
ça donne ça

Code : Tout sélectionner

XDG_MUSIC_DIR="$HOME

J'ai du oublier quelque chose , j'ai essayé en root aussi

Salut

Mais dans l'histoire, notre ami CoreVegan en est ou, car c'est son sujet

Je sais zebulon , je squate mais bon ça peut servir a moi et a d'autres qu'a CoreVegan aussi

En fait je n'avais pas les droits sur /fichiers
Donc j'ai refait un essai avec les droits et en créant un dossier Musique dans /fichiers ce qu je n'avais pas fait auparavant
Mais la ça ne fonctionne toujours pas par contre c'est le dossier Musique de /fichiers qui a la petite note de musique ...

bluc a écrit :je squate

Forum-Francophone-LinuxMint.fr

Dossier quelques sous-dossiers /home sur un autre disque ?

Re: Dossier quelques sous-dossiers /home sur un autre disque ?

Re: Dossier quelques sous-dossiers /home sur un autre disque ?

Re: Dossier quelques sous-dossiers /home sur un autre disque ?

Re: Dossier quelques sous-dossiers /home sur un autre disque ?

Re: Dossier quelques sous-dossiers /home sur un autre disque ?

Re: Dossier quelques sous-dossiers /home sur un autre disque ?

Re: Dossier quelques sous-dossiers /home sur un autre disque ?

Re: Dossier quelques sous-dossiers /home sur un autre disque ?

Re: Dossier quelques sous-dossiers /home sur un autre disque ?

Re: Dossier quelques sous-dossiers /home sur un autre disque ?

Re: Dossier quelques sous-dossiers /home sur un autre disque ?