ilcorvo.it

Blog

  • Personalizzazione di GNOME (Parte 3)

    “Esplora le infinite possibilità con le estensioni GNOME Shell”

    Abbiamo visto come GNOME Tweaks ci permetta di accedere a molte opzioni di configurazione nascoste, ma le possibilità di personalizzazione non finiscono qui! Le estensioni GNOME Shell sono dei piccoli plugin che aggiungono funzionalità extra al tuo desktop, permettendoti di adattarlo ancora più precisamente alle tue esigenze.

    Cosa sono le estensioni GNOME Shell?

    Le estensioni GNOME Shell sono dei pacchetti di codice che possono essere facilmente installati e disinstallati per aggiungere nuove funzionalità o modificare il comportamento esistente dell’interfaccia. Possono essere utilizzate per:

    • Aggiungere nuovi indicatori: Come ad esempio un indicatore per la batteria, la rete o il volume.
    • Modificare il comportamento del dock: Rendere il dock più personalizzabile e funzionale.
    • Aggiungere nuove funzionalità: Come la possibilità di prendere appunti direttamente dal desktop o gestire le finestre in modo più efficiente.
    • Personalizzare l’aspetto: Cambiare il tema delle icone, aggiungere effetti visivi o modificare la disposizione degli elementi sullo schermo.

    Dove trovare le estensioni?

    Il posto migliore per trovare e installare le estensioni GNOME Shell è il sito ufficiale: extensions.gnome.org. Qui troverai un vasto catalogo di estensioni, suddivise per categoria e con descrizioni dettagliate.

    Installazione delle estensioni

    L’installazione delle estensioni è molto semplice. Di solito basta cliccare sul pulsante “Installa” sulla pagina dell’estensione e seguire le istruzioni. Alcune distribuzioni Linux potrebbero richiedere l’installazione di un pacchetto aggiuntivo come chrome-gnome-shell per gestire le estensioni.

    In alternativa, puoi utilizzare GNOME Shell Extension Manager, un’applicazione grafica che permette di cercare, installare e gestire le estensioni direttamente dal tuo desktop. Per installarlo, utilizza il gestore pacchetti della tua distribuzione (ad esempio, sudo apt install gnome-shell-extension-manager su Ubuntu).

    Nella prossima sezione, ti presenterò alcune delle estensioni che ritengo più utili e interessanti, con una breve spiegazione delle loro funzionalità e come installarle.

  • Personalizzazione di GNOME (Parte 2)

    Ora che hai installato GNOME Tweaks e hai una solida base per personalizzare il tuo desktop, è il momento di esplorare le infinite possibilità offerte dalla community di GNOME.

    Uno dei migliori posti per trovare temi, icone e altre risorse per personalizzare GNOME è Gnome-Look.org. Questo sito web ospita una vasta collezione di creazioni di designer di tutto il mondo, che spaziano da temi minimalisti e eleganti a temi colorati e vivaci.

    Come trovare il tema perfetto per te

    Su Gnome-Look.org puoi cercare temi in base a diversi criteri, come:

    • Stile: Scegli tra temi chiari, scuri, piatti, material design e molto altro.
    • Colore: Filtra i temi in base alla palette di colori che preferisci.
    • Compatibilità: Assicurati che il tema sia compatibile con la tua versione di GNOME.

    Il mio tema preferito:

    Dopo aver provato molti temi diversi, ho deciso di adottare il tema Tokyonight-dark. Questo tema mi ha conquistato in quanto è un tema scuro e dalle tonalità riposanti. Inoltre, si integra perfettamente con le mie altre applicazioni preferite.

    Installare un tema

    L’installazione di un tema da Gnome-Look.org è generalmente molto semplice:

    1. Scarica il tema: Scarica il file del tema dal sito.
    2. Estrai il contenuto: Estrai il contenuto del file in una cartella temporanea.
    3. Copia i file: Copia i file del tema nella cartella dei temi di GNOME. La posizione esatta della cartella può variare a seconda della tua distribuzione Linux, ma di solito si trova in /usr/share/themes.
    4. Applica il tema: Apri GNOME Tweaks e seleziona il tema appena installato dalla lista.

    Conclusione

    Personalizzare GNOME è un modo divertente e creativo per rendere il tuo computer più personale e produttivo. Con GNOME Tweaks e risorse come Gnome-Look.org, hai a disposizione tutti gli strumenti necessari per creare un ambiente di lavoro davvero unico.

  • Personalizzazione di GNOME (Parte 1)

    Hai mai desiderato personalizzare al dettaglio il tuo ambiente desktop GNOME? Che si tratti di modificare il comportamento delle finestre, di adattare i colori ai tuoi gusti o di personalizzare il dock, GNOME offre una vasta gamma di opzioni per soddisfare ogni esigenza.

    Per andare oltre le semplici impostazioni di sistema, ti consiglio vivamente di installare GNOME Tweaks. Questo potente strumento ti permette di accedere a una miriade di opzioni di configurazione nascoste, offrendoti un controllo ancora maggiore sul tuo ambiente desktop.

    Perché usare GNOME Tweaks?

    • Opzioni avanzate: Oltre alle impostazioni di base, GNOME Tweaks ti permette di modificare aspetti più tecnici del tuo desktop, come le animazioni, il comportamento del cursore e molto altro.
    • Interfaccia intuitiva: Nonostante le sue potenti funzionalità, GNOME Tweaks offre un’interfaccia utente semplice e intuitiva, rendendo la personalizzazione un’esperienza piacevole.
    • Community attiva: GNOME Tweaks è un progetto open source con una vasta community di utenti che sviluppano costantemente nuove funzionalità e temi.

    Installazione di GNOME Tweaks

    L’installazione di GNOME Tweaks è molto semplice. Se utilizzi Ubuntu o Debian, puoi installarlo direttamente dal terminale con il seguente comando:

    sudo apt install gnome-tweaks

    Per altre distribuzioni Linux, consulta la documentazione ufficiale della tua distribuzione per le istruzioni specifiche.

    Questa è l’interfaccia del programma che permette appunto di personalizzare numerosi aspetti grafici.