Esistono molte estensioni per personalizzare il Desktop Environment GNOME Shell secondo i gusti di ciascuno.
Tutte le estensioni, una volta installate, vanno attivate dalla pagina web delle estensioni di GNOME: https://extensions.gnome.org/local/.
Oltre ad attivarle dalla pagina web, bisogna sempre come minimo ricaricare GNOME: se state usando il motore grafico Wayland (il motore di default di Fedora Workstation) bisogna fare logout e nuovamente login; se invece state usando X.Org basta premere la combinazione ALT + F2, inserire r e premere Invio.
La seguente è una selezione delle estensioni più utilizzate e consigliate.
Display delle temperature interne
Per avere un display delle temperature della CPU e della scheda grafica si può installare la seguente estensione:
sudo dnf install gnome-shell-extension-freon
Andiamo poi a creare la configurazione con i sensori disponibili, che verrĂ poi utilizzata da lm_sensors, il programma che colleziona informazioni dai sensori:
sudo sensors-detect --auto
A questo punto basta un riavvio della macchina per abilitare la lettura dei sensori e rendere funzionante l’estensione.
Barra delle applicazioni
Per riavere la barra delle applicazioni con le icone dei programmi che restano in background (ad es. skype, etc) basta installare:
sudo dnf install gnome-shell-extension-topicons-plus
Posizione della dock in GNOME 40
Per spostare la dock in GNOME 40 installare:
sudo dnf install gnome-shell-extension-dash-to-dock
Dopo averla attivata dal sito web si può configurarla direttamente dallo stesso sito o cliccando con il tasto destro sull’icona della dock con i 9 pallini disposti a quadrato.