Personnalisation de Gnome 3
Pour faire suite à l'article précédent, j'ai effectué des recherches sur la personnalisation de Gnome 3. Le fait est que c'est très flexible et accessible à beaucoup de personnes car l'interface est basée sur JavaScript et CSS. L'idée n'est pas de modifier l'installation elle-même mais d'écrire des extensions dans son répertoire local.local/share/gnome-shell/extensions. L'inconnue c'est la pérennité de ces bouts de JavaScript qui s'appuient sur les API de Gnome 3 au fil des versions.
L'article de référence que je vous recommande est sur le blog de Finnbarr P. Murphy. L'auteur va très loin, du rajout d'un menu d'application discret sur le panel au déplacement des icônes de la systray vers le panel... exactement ce que je cherchais pour ne plus rater les notifications de Choqok, Empathy et Dropbox.
Je vous conseille aussi la lecture des trucs et astuces Gnome 3 parus sur Tux- Planet et la page Gnome 3 sur le Wiki d'Archlinux qui est enrichie régulièrement.