RSSGnome

Rilasciato GNOME Shell 3.6.2, come aggiornarlo su Ubuntu e derivate

Rilasciato GNOME Shell 3.6.2, come aggiornarlo su Ubuntu e derivate

| 1 dicembre 2012 | 0 Commenti

GNOME Shell è uno degli ambienti desktop più conosciuti e utilizzati su sistemi operativi GNU/Linux.

Continua a Leggere

Registrare video del proprio desktop con GNOME Shell

Registrare video del proprio desktop con GNOME Shell

| 19 novembre 2012 | 0 Commenti

Oltre ad effettuare screenshots, l’ambiente desktop GNOME Shell consente anche di registrare video del nostro desktop grazie ad una semplice combinazione da tastiera e senza l’ausilio di programmi esterni. Questa funzionalità è utile soprattutto per coloro che effettuano spesso video tutorial su una distribuzione Linux e non hanno intenzione di scaricare programmi come RecordMyDesktop.

Continua a Leggere

Catturare immagini del proprio desktop con GNOME Shell

Catturare immagini del proprio desktop con GNOME Shell

| 19 novembre 2012 | 1 Commento

L’ambiente desktop GNOME Shell permette di effettuare screenshots del proprio desktop grazie alla combinazione di alcuni comandi da tastiera e senza l’ausilio di programmi esterni.

Continua a Leggere

Come aggiungere nuove estensioni a GNOME Shell

Come aggiungere nuove estensioni a GNOME Shell

| 19 novembre 2012 | 0 Commenti

GNOME Shell è un ambiente desktop molto personalizzabile, consente infatti di aggiungere numerosi componenti aggiuntivi grazie all’ausilio di estensioni presenti sul sito ufficiale che consentono di ampliare le funzionalità di questo fantastico ambiente desktop.

Continua a Leggere

Personalizzare GNOME Shell con Gnome Tweak Tool

Personalizzare GNOME Shell con Gnome Tweak Tool

| 19 novembre 2012 | 0 Commenti

Gnome Tweak Tool è un tool per Gnome Shell che consente di personalizzare questo ambiente desktop, infatti è in grado di gestire: Estensioni; Temi; Desktop; Caratteri delle intestazioni delle finestre e molto altro ancora.

Continua a Leggere