Cette page n'a pas encore d'étiquettes.
Apportez votre aide…

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
La version de GNOME Launch Box disponible dans les paquets est la 0.2 , relativement lente et peu optimisée (notamment au niveau des recherches).

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.

Avec l'installation manuelle vous bénéficierez de la version la plus récente de GNOME Launch Box (0.4 actuellement), mais qui ne sera pas mise à jour par votre gestionnaire de paquets

Utile ?

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

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é.

  • gnome-launch-box.1197294899.txt.gz
  • Dernière modification: Le 18/04/2011, 14:59
  • (modification externe)