Gnome Launch Box

Su suggerimento del sempre onniscente Marco Fabbri ho conosciuto Gnome Launch Box.
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:
Come si può vedere mi ha trovato tutto quel che poteva sulla stringa "php".
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!!

Petizione: Linux nelle scuole

Hanno creato una petizione per consigliare l'adozione di Linux nelle scuole! Cavolo, i risparmi si farebbero sentire assai, per vari motivi:

1. I costi di licenze sarebbero minori
2. Oramai i costi di gestione sono bassi (con Ubuntu poi...è tutto semplice)
3. La sicurezza aumenta di parecchio (utenti con diritti limitati...)
4. A scuola si usa SEMPRE Office...quindi migrare ad OpenOffice per i bambini è indolore, per gli insegnanti un po' meno (però basta applicarsi)

Vi segnalo il banner della petizione...io nei commenti ho richiesto anche l'adozione dell' Open Document Format come standard della scuola italiana! Tanto OpenOffice lo legge, MS Office lo legge tramite un plugin gratuito della Sun (mi sembra, non vorrei ricordare male), quindi...

Votate, Votate, Votate!!