Marque-pages

S’il vous arrive un jour de gérer un ensemble d’utilisateurs et leur environnement de travail reposant sur Gnome, vous vous demanderez probablement comment ajouter automatiquement des raccourcis vers des répertoires de travail différents des habituels Images, Musique …

Je me suis posée cette question récemment et la réponse était très simple. Il suffit de modifier le fichier « .gtk-bookmarks » se trouvant à la racine du répertoire home d’un utilisateur.

Par exemple, vous pouvez voir ici un exemple quand j’ai ajouté mon répertoire de développement à la liste des signets :

Si je n’avais pas précisé « Dev », le nom de mon signet aurait alors été « Devs » le nom du répertoire se trouvant en fin de chemin.

Le gros avantage de ce fichier réside dans le fait qu’il est utilisé par Ubiquity (le gestionnaire de bureau d’Ubuntu), Gnome et XFCE (et peut-être même d’autres environnements).

P.S: Cet article est rédigé depuis plus d’un mois mais j’avais oublié de le publier ^_^ ».

Laisser un commentaire

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *

Vous pouvez utiliser ces balises et attributs HTML : <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>