Gnome Pie: un menu d’accès rapide, utile & futé

Gnome Pie: Main Menu

Avec l’arrivée de Gnome3, certains utilisateurs se sont étonnés du manque de raccourcis vers les applications et dossiers directement disponibles sur l’écran. Même avec l’utilisation de l’extension Extended Places Status Indicator, il est difficile d’accéder directement à son dossier personnel par exemple.

Le Pie des Bookmarks

L’utilitaire Gnome Pie va réellement vous faciliter la vie si vous êtes dans ce cas. Véritable outil futuriste, celui-ci vous permettra de lancer programmes et répertoires en deux clics.

Gnome Pie: Main Menu (2)

Il vous suffit d’assigner une combinaison de touches au clavier – ou, mieux, un bouton latéral de votre souris – à chaque « Pie », et le tour est joué ! Les Pie sont des ensembles de raccourcis: par exemple, vos applications sont regroupées dans un Pie, ainsi que les raccourcis d’actions pour vos fenêtres (réduire, agrandir, …).

Gnome Pie est livré par défaut avec 8 thèmes (Bright, Slim, Unity, O-Pie, Elementary, Funky, Adwaita, et Glossy), et est installable grâce à la commande suivante:

sudo add-apt-repository ppa:simonschneegans/testing
sudo apt-get update
sudo apt-get install gnome-pie

(source)