Ajouter des éléments au menu raccourcis de Gnome

A force d’accéder à des répertoires tel que /var/www cas des développeurs Web, on pense à mettre un raccourci de ce dossier dans le bureau (vous pensez à ln n’est ce pas 😀 ). Ce que je vous propose dans cet article est de mettre un raccourci de votre dossier préféré dans le menu « Raccourcis » de votre environnement Gnome. C’est un astuce Très simple :)

Tout d’abord, il faut savoir que les raccourcis du menu « Raccourcis » sont renseignés dans « /home/user/.gtk-bookmarks », dans en premier temps on va essayer d’éditer ce fichier avec gedit :

gedit /home/khalid/.gtk-bookmarks

vous allez trouver que le contenue du fichier est du genre :

file:///home/khalid/Documents
file:///home/khalid/Musique
file:///home/khalid/Images
file:///home/khalid/Vid%C3%A9os
file:///home/khalid/T%C3%A9l%C3%A9chargements

on va essayer d’ajouter le répertoire « /var/www », donc à la fin du fichier on rajoute :

file:///var/www

Dès l’enregistrement du fichier, le menu « Raccourcis » s’actualise comme suit :

Il est également possible d’avoir le même résultat en glissent le répertoire vers le menu, je ne sais pas encore pourquoi je passe toujours par l’édition du fichier « .gtk-bookmarks ».

A propos de l'auteur

Faut il vraiment porter des lunettes, pour travailler la nuit, sur un terminal vert sur noire, pour être Geek pour devenir root ?