Rajouter des raccourcis sur le dash de Gnome Shell

L'histoire

J'ai fait le grand saut il y a quelques semaines : je suis passé de Debian Squeeze à Debian Wheezy.

Pour être clair, je ne me sers plus de la version stable mais de la version testing de ma distribution GNU/Linux adorée. J'avais envie de changement.

Avec ce changement arrivent de nouvelles contrariétés :

GNOME 3 et son interface, rien de plus déstabilisant, mais utilisable avec le temps. Il faut prendre sur soi et changer ses automatismes. Ça se fait, avec le temps.
Mettre ses petites touches personnelles dans le nouvel environnement, c'est déjà moins drôle, d’où ce billet.

GNOME Shell marche très bien. Il n'y a pas grand chose à redire. C'est joli et fluide. Tout se passe pour le mieux quand on reste sur les sentiers battus. Mais moi, je reste pas souvent à ma place.

Je me sers de Firefox et de Thunderbird. J'adore ces deux logiciels et je ne pourrais pas m'en passer.

Sous Debian, ils se cachent sous les noms Iceweasel et Icedove. Ils sont donc bien présents et prêt à être utilisés. Sauf qu'ils ne sont pas assez à jour à mon gout. Clairement, quand on voit que ce sont la version 3.5 de Firefox et la version 3.0 de Thunderbird qui trainent dans les dépôts officiels de Debian, on pleure un peu. Ce n'est pas gênant de se servir de versions un peu anciennes de logiciels, mais quand on touche aux web, c'est chiant.

Je passe l'histoire sur les dépôts qui s'occupent de mettre à jour mes bébés. Actuellement, je télécharge les binaires sur le FTP officiel de Mozilla et je m'en sers directement. Ça marche tout bien sauf que je ne peux pas les rajouter au Dash de GNOME Shell aussi simplement que les autres programmes. Pas de glisser/déposer pour les applications non installées via le gestionnaire de paquet. Mais c'est pas grave.

L'astuce

Je vous propose la manipulation à faire pour vous retrouver avec des raccourcis persos sur le Dash

- Appuyez sur la touche "Windows" pour afficher ce dernier
- Tapez "Menu principal" et lancez l'application proposée. Elle va vous permettre d'ajouter des raccourcis persos dans le bien nommé Menu principal.