Gnome Shell ha un design pulito. Ma molti utenti vogliono ottenere di più dall’ambiente desktop. Il sistema di estensione di Gnome 3 può aiutare gli utenti a personalizzare notevolmente l’aspetto della Gnome Shell. In questo post, riassumiamo 6 estensioni che abbiamo considerato essenziali per rendere Gnome Shell grande.
Sommario
Rendi Alt-Tab “classico” invece di raggruppare le finestre per applicazione. Sostituisce Alt-Tab con uno switcher basato su finestra.
Questa estensione è ufficialmente supportata da Gnome.
Link: https://extensions.gnome.org/extension/15/alternatetab/
Dash to Dock
Un’estensione dock per Gnome Shell. Aggiungi dock al desktop per facilitare il lancio di applicazioni e il passaggio più veloce tra le finestre. Buono per grandi schermi.
Link: https://extensions.gnome.org/extension/307/dash-to-dock/
Monitor di sistema
Monitorare l’utilizzo della CPU di sistema/Mem/Net / more nella barra di stato di gnome shell.
Collegamento: https://extensions.gnome.org/extension/120/system-monitor/
Temi utente
Vogliamo personalizzare il tema della shell. Questo plugin consente a Gnome Shell di caricare i temi della shell dalla directory utente.
Link:https://extensions.gnome.org/extension/19/user-themes/
Pannello OSD
Schermata di controllo notifiche che appaiono posizione. Solo mostrando sopra il vassoio del messaggio è un po ‘ scomodo.
TopIcons
Sposta le icone del vassoio nella parte superiore “classica”.
Collegamento: https://extensions.gnome.org/extension/495/topicons/
Con queste estensioni, Gnome Shell aspetto molto meglio, soprattutto per i vecchi utenti Linux che hanno familiarità con ambienti desktop “classici”.