Vuoi cambiare l'icona, il tema della shell o anche il font in Gnome Shell ma non sai come? Da non preoccuparsi. In questo articolo, ti insegneremo tutto ciò che c'è da sapere su come prendere l'ambiente desktop Gnome, personalizzarlo e renderlo tuo. Dalle icone, ai cursori del mouse, estensioni, caratteri e tutto il resto; questa è la guida definitiva su come personalizzare Gnome Shell. Iniziamo!
Tutta la personalizzazione in questo articolo è fatta con l'aiuto di Gnome Tweak Tool. Potrebbe essere già installato sul tuo PC Linux. In caso contrario, apri un terminale o un browser software, cerca "Gnome Tweak Tool" e installalo.
A differenza di molti altri ambienti desktop, la sezione Aspetto in Gnome Shell è molto semplice. Non è separato in singole schede. In questa sezione vedremo come cambiare i diversi aspetti dell'aspetto di Gnome.
Per iniziare, assicurati che Gnome Tweak Tool sia installato. Una volta installato, apri lo strumento di modifica e guarda l'elenco sul lato sinistro. Seleziona "Aspetto".
Gnome è costruito in gran parte grazie al GTK3 toolkit. Di conseguenza, tutte le decorazioni delle finestre e i controlli del programma si basano su di essa. Il tema GTK è responsabile del modo in cui tutto questo appare sul tuo sistema operativo. Per cambiare il tema, vai allo strumento Tweak e trova "GTK +".
Come installare Vivaldi Browser su Linux
Ultimamente sul mercato sono comparsi diversi browser Web diversi. La ragione principale per questo è che più che mai, gli utenti stanno iniziando a sentirsi male dai browser tradizionali. Chrome mangia RAM (e ha grossi problemi di privacy), e Firefox mentre sta migliorando ha ancora bisogno di lavoro.
Come configurare Rsync su Linux
In questi giorni, tutti hanno un'app di sincronizzazione. C'è Bittorrent Sync (ora Resilio Sync), Syncthing e così via. Questi tipi di strumenti stanno ottenendo una reale trazione nello spazio server e consumer, e esistono per una ragione. Aiutano gli utenti a configurare un sistema di sincronizzazione peer-to-peer basato su Internet / locale.
