dimanche 15 juin 2014

Gnome Shell [14.04]

Extensions

Je suis passé sous ubuntu 14.04 (avec gnome shell) et le site https://extensions.gnome.org/ ne reconnait plus mon environnement comme étant gnome.
Voici l'astuce pour installer les extensions :

sudo add-apt-repository ppa:zpydr/gnome-shell-extension-taskbar
sudo apt-get update
sudo apt-get install gnome-shell-extension-taskbar

En réalité, il s'agit d'installer l'extension taskbar. L'effet de bord, c'est que, du coup, ça active les extensions dans gnome tweak. J'avoue que j'ai pas tout compris, mais ça fonctionne.





Répertoire par défaut de gnome-screenshot

Si vous voulez changer de répertoire par défaut, ça se passe dans dconf-editor : org.gnome.gnome-screenshot. Par exemple, mettez /tmp dans auto-save-directory. Seulement, ça ne change pas grand chose. Et pour cause, le raccourci impr de gnome-shell n'utilise pas gnome-screenshot.
Pour y arriver, il faut désactiver les raccourcis-clavier et les remplacer par les trois raccourcis personnalisés :

screenshot global : gnome-screenshot
screenshot fenêtre courante : gnome-screenshot --window
screenshot zone : gnome-screenshot --area




Unity

Autre astuce pour les gens sous unity : pour remettre les menus dans les applications (parce qu'il n'ont rien à faire dans la toolbar nondidju!) :

sudo apt-get remove indicator-appmenu

Une autre bonne idée consiste à retirer les recherches sur le web qui ont tendance à bugger le dash d'unity :

sudo apt-get remove unity-lens-video
sudo apt-get remove unity-lens-music
sudo apt-get remove unity-lens-friends
sudo apt-get remove unity-lens-photos

Aucun commentaire:

Enregistrer un commentaire