Ceci est une ancienne révision du document !
GNOME Launch Box
GNOME Launch Box est un launcher, permettant comme son nom l'indique de lancer des applications, mais également de rechercher :
- Des fichiers sur votre disque dur
- Des marques-pages dans Firefox
- Des contacts dans Evolution
Installation à partir des dépôts d'Ubuntu
Si vous ne souhaitez pas effectuer une installation manuelle, vous pouvez utiliser GNOME-Do en attendant que la version GNOME Launch Box évolue
Il suffit d'installer le paquet gnome-launch-box disponible dans les dépôts Universe.
Installation manuelle
Utile ?
Utilisation
GNOME Launch Box se lance via le menu Applications → … → ….
Exemple d'utilisation
A compléter quand la 0.4 sera dans les dépôts officiels (0.2 peu utilisable).
Lancement automatique au démarrage
Pour lancer le logiciel à chaque démarrage du système, il faut créer un racourci vers le processus dans le menu démarrer de votre session.
Pour cela, allez dans Système → Préférences → Sessions et ajoutez aux programmes de démarrage :
gnome-launch-box
Désinstallation
La désinstallation est très simple : il suffit de supprimer le paquet gnome-launch-box.
Pensez à supprimer gnome-launch-box des programmes à lancer au démarrage si vous l'y aviez ajouté.
Références
- Site officiel : http://developer.imendio.com/projects/gnome-launch-box
- GLB sur Launchpad : https://bugs.launchpad.net/ubuntu/+source/gnome-launch-box
Contributeurs : Omnisilver