LINUX « E-Pillole

E' stato segnalato già da un pò come un bug di Ubuntu Feisty su Launchpad, ma essendo presente anche su Debian Sid credo proprio che sia un bug/dimenticanza/scelta di Gnome >= 2.18.

Tralasciando queste noie burocratiche, e concentrandoci sulla sostanza, questo presunto bug, non permette più di disabilitare lo splash screen dell'ambiente desktop GNOME tramite la gui gnome-session-properties (System -->> Preferences -->> Sessions).

Poco male, dato che esiste gconf!!

Per disabilitare, o nel caso modificare lo splash screen al login della sessione di Gnome, è infatti sufficiente lanciare gconf-editor da terminal:

gconf-editor

e modificare a proprio piacimento le impostazioni in:

/apps/gnome-session/options/splash_image

Le chiavi da modificare sono ovviamente:

- show_splash_screen per abilitare o disabilitare lo splash;

- splash_image per modificare la posizione dell'immagine da usare;

Sicuramente, utilizzare gconf è molto meno intuitivo rispetto a gnome-session-properties, e molto poco "for human beings", ma per il momento accontentiamoci :)