Gnome Shell are un design curat. Dar mulți utilizatori doresc să obțină mai mult din mediul desktop. Sistemul de extensie Gnome 3 poate ajuta utilizatorii să personalizeze foarte mult aspectul Shell-ului Gnome. În această postare, rezumăm 6 extensii pe care le-am considerat esențiale pentru a face Gnome Shell grozav.
cuprins
Faceți Alt-Tab „clasic” în loc să grupați ferestrele după aplicație. Înlocuiește Alt-Tab cu un comutator bazat pe ferestre.
această extensie este acceptată oficial de Gnome.
Link:https://extensions.gnome.org/extension/15/alternatetab/
Dash pentru andocare
o extensie de andocare pentru Shell-ul Gnome. Adăugați dock pe desktop pentru lansarea mai ușoară a aplicațiilor și comutarea mai rapidă între ferestre. Bun pentru ecrane mari.
Link:https://extensions.gnome.org/extension/307/dash-to-dock/
monitor de sistem
monitorizați utilizarea procesorului de sistem/Mem/Net / mai mult în bara de stare gnome shell.
Link: https://extensions.gnome.org/extension/120/system-monitor/
teme utilizator
vrem să personalizăm tema shell. Acest plugin permite Gnome Shell să încarce teme shell din Directorul de utilizatori.
Link:https://extensions.gnome.org/extension/19/user-themes/
panou OSD
Notificări ecran de Control care apar locație. Doar afișarea deasupra tăvii de mesaje este puțin incomodă.
TopIcons
mutați pictogramele tăvii în partea de sus „clasică”.
Link: https://extensions.gnome.org/extension/495/topicons/
cu aceste extensii, Gnome Shell arata mult mai bine, mai ales pentru utilizatorii de Linux vechi, care sunt familiarizați cu medii desktop „clasice”.