Après quelques jours d’utilisation de gnome-shell, j’ai voulu me pencher un peu sur sa personnalisation.
Comme les extensions ne sont pas dans les dépôts, j’ai été à la pêche, et j’en ai trouvé quelques unes qui m’intéressaient.
J’ai d’abord compilé (avec checkinstall) gnome-shell-extensions, qui m’a fourni:
windowNavigator Extension
AlternateTab Extension
Alternate Status Menu Extension
Dock Extension
J’ai ainsi pu récupérer les icônes sur le bureau, la fonction «éteindre» sans utiliser la touche Alt, et un dock sur le coté droit du bureau qui remplace AWN.
Il me manquait encore de pouvoir utiliser des thèmes gnome-shell, plus sympas que ceux faits pour gtk3. Un petit tour chez Red Hat, un coup d’alien, et me voilà avec deux paquets tous neufs, gnome-shell-extensions-user-theme_3.0.2-2_all.deb et gnome-shell-extension-theme-selector_0.9-4_all.deb
Je relance gnome-shell et j’ai droit à un nouvel onglet dans «Activités»
Ça marche.
Extensions.tar.gz (651 KB)