In questi giorni si è parlato molto di Shellshock, un bug che metterebbe a rischio molti pc con Linux.
Se vogliamo verificare se siamo a rischio, possiamo eseguire un semplice comando da terminale.
Ormai per modificare Gnome (qualsiasi tipo) basta installare uno dei tanti programmi presenti in circolazione.
Può capitare, e capita anche abbastanza spesso, di aver fatto troppe modifiche, e di voler rimettere tutto come da defualt.
Per ripristinare Gnome bastano pochi semplici comandi; e questi valgono sia per Gnome Shell, che per Gnome Classic che per Gnome Fallback.
Nell'ultima versione di Windows (la 8.1) è stata eliminata la schermata per il calcolo della Windows Experience Index.
In sostanza non possiamo più vedere graficamente il punteggio assegnato da Windows; o almeno non graficamente, in quanto possiamo farlo da riga di comando!
Prima di tutto dobbiamo generare un file con i punteggi; aprite una shell e digitate:
winstat prepop
A questo punto abbiamo bisogno della Power Shell.
E' già da un po che Ubuntu è relegato a sotto sistema operativo per quanto mi riguarda, nel senso che l'ho installato su pc che non uso abitualmente.
Uno dei motivi è che Unity non mi piace per niente.
Non che Gnome-shell mi piaccia, ma di sicuro mi piace di più.
Vediamo quindi come eleminiare definitivamente e totalmente Unity da Ubuntu 12.04.
Prima di tutto installiamo Gnome-Shell, LightDM e il buon vecchio Synaptic.
Aprite il terminale e digitate:
$ sudo aptitude install gdm gnome-shell synaptic deborphan
Durante l'installazione ci verrà chiesto di impostare il Login Manager predefinito; selezionate GDM.
Riavviate il sistema ed al login scegliete Gnome.
Il pulsante Mostra desktop è una utile funzionalità presente pressoche in qualsiasi sitema o DE.
In Gnome 2 era presente di default, mentre in Gnome 3 è stato eliminato.
Per riaverlo possiamo installare un'estensione specifica: Show Desktop Button.
Gnome-Shell lo uso solo sul mio eeepc e quindi le icone risultano un pochino troppo grandi.
Ho trovato il modo di rimpicciolirle e ve lo riporto.
Apriamo un terminale e digitiamo questi comandi:
$ sudo cp /usr/share/gnome-shell/theme/gnome-shell.css /usr/share/gnome-shell/theme/gnome-shell.css.bak
$ sudo gedit /usr/share/gnome-shell/theme/gnome-shell.css
Si aprirà gedit con permessi elevati e questo ci permetterà di modificare il file gnome-shell.css, che altro non è che un foglio di stile CSS.