Buen día chat alguien que usar gnome cuáles son las mejores extensiones ?
Si no mal me acuerdo habían varias muy usadas como Blur my shell… te puedes fijar en https://extensions.gnome.org
1 me gusta
No puede faltar: https://extensions.gnome.org/extension/307/dash-to-dock/
1 me gusta
Muy buena extensión 
Buenas, yo no uso ninguna extensión, pero en ordenadores de amigos / familiares suelo instalar éstas para dejarles un escritorio “tradicional”:
- gnome-shell-extension-appindicator
- gnome-shell-extension-dash-to-panel
- gnome-shell-extension-desktop-icons-ng
Un saludo