Top 5 extensii Gnome Shell

Anunțul Ubuntu a făcut deja ca mulți utilizatori să înceapă să utilizeze Gnom-Shell ca desktop implicit. Aceasta este o problemă pentru utilizatorii începători care au început cu Unity și nu au văzut un alt desktop.

Mai problematic este pentru cei care provin din distribuții de lumină sau medii de lumină precum Xfce sau MATE. Pentru a ajuta toți acești utilizatori am compilat cele mai bune 5 extensii pe care le putem instala și utiliza în Gnome.

Dash to Panel

Cu siguranță că mulți dintre voi (mă includ în listă) nu vă place Dash-ul pe care îl are Gnome Shell. Este extensia schimbă Dash și transformă totul într-un panou simplu, așa cum au alte computere de birou, precum Cinnamon sau KDE. Această extensie este destul de interesantă dacă nu vă place estetica Gnome.

Gnomul Pomodoro

Această extensie este o adevărată reflectare a numelui său. Este o extensie care ne ajută să aplicăm tehnicile Pomodoro pe computerul nostru. În acest caz, după instalare, apare un applet cu sistemul și controlul perioadei Pomodoro. Este util pentru cei care caută productivitate pe desktop.

Butonul Nu deranja

Din ce în ce mai multe notificări primim pe computerul nostru, nu numai pentru conectarea unui USB, ci și atunci când primim e-mailuri, alarme de calendar, chat-uri, etc ... Această extensie simplă dezactivați toate acele notificări, astfel încât să putem lucra fără nicio distracție interesant, nu?

Top Icons Plus

Această extensie ne permite modificați poziția pictogramelor desktop, nu numai icoanele tradiționale, ci și icoanele applet-urilor. O extensie foarte interesantă pentru cei care doresc să-și personalizeze Gnome Shell puțin mai mult.

Clipboard Indicator

Această extensie este un applet simplu care ne va arăta toate fișierele, textul și imaginile care le-am stocat în clipboard, documente pe care le putem reutiliza în timpul sesiunii și pe care le putem elibera și datorită acestui applet. Cu siguranță o extensie destul de interesantă, nu crezi?

Concluzie

Aceste extensii pot fi găsite în directorul extensiilor Gnome Shell. Un director gratuit care se conectează la desktop, deci nu există nicio problemă la instalarea oricăreia dintre aceste extensii. În orice caz, directorul este plin de extensii gratuite, extensii care pot fi mai utile decât cele menționate, deși cele pe care le-am colectat sunt destul de importante pentru utilizatorii care provin de pe alte desktopuri.