Un éventuel remplaçant pour Gnome-Do ?
J’utilise Gnome-Do depuis des années, mais il a toujours quelques problèmes.

Ces programmes permettent de faire gagner un temps fou. C’est un peu le menu démarrer + le gestionnaire de fichiers + le gestionnaire de favoris + le gestionnaire de bibliothèque musicale + … dans un raccourcis clavier.
— (permalink)