J'ai découvert dmenu, et c'est vraiment ce dont j'avais besoin.
Contrairement à Katapult, c'est léger. De plus, après avoir entré quelques lettres, on peut choisir les commandes qui correspondent à ces lettres dans une liste (avec Katapult, seule la première commande trouvée peut être lancé).
Du coup, j'ai plus besoin de chercher dans le bazar du menu démarrer, ni d'ouvrir un terminal pour lancer une commande.
Est-ce un shell ? d'après wikipedia, on peut dire que oui : In either category the primary purpose of the shell is to invoke or "launch" another program; however, shells frequently have additional capabilities such as viewing the contents of directories.
# dmenu
Posté par maximegb . En réponse au sondage Mon shell préféré. Évalué à 1.
Contrairement à Katapult, c'est léger. De plus, après avoir entré quelques lettres, on peut choisir les commandes qui correspondent à ces lettres dans une liste (avec Katapult, seule la première commande trouvée peut être lancé).
Du coup, j'ai plus besoin de chercher dans le bazar du menu démarrer, ni d'ouvrir un terminal pour lancer une commande.
Est-ce un shell ? d'après wikipedia, on peut dire que oui : In either category the primary purpose of the shell is to invoke or "launch" another program; however, shells frequently have additional capabilities such as viewing the contents of directories.