E' una comodissima applicazione che permette di eseguire o cercare all'interno della nostra linux box. Diciamo che l'uso spiega la sua funzione...
Per installarlo digitate
sudo apt-get install gnome-launch-box
Io per provarlo ho digitato "php" e ho avuto questo risultato:

Comodo, ma non può sostituire secondo me in Alt+F2 l'esegui applicazione, poichè quest'ultima permette anche comandi nel terminale.
PS: per una nuova ricerca, premete ESC!!