Optimiser les bureaux virtuels sous Unity (Ubuntu 12.04)

samedi 16 juin 2012

Après plusieurs années sans évolution majeure, les interfaces de bureau ont entamé, depuis 2010, une migration progressive vers de nouveaux paradigmes censés être mieux adaptés aux écrans tactiles : iOS et Android, OS X Lion, Windows 8 et, bien sûr, Gnome Shell et Unity sous Linux. Il ne s'agit pas ici de revenir sur le débat --sa fin-- des "vieilles habitudes" contre les "nouveaux gadgets", mais simplement de présenter quelques réglages techniques qui m'ont été utiles afin d'optimiser Unity sous Ubuntu 12.04 Precise Pangolin. Ces optimisations rendent Unity plus rapide et fluidifient son utilisation, au détriment de la "beauté" de l'interface.

Après plusieurs années sans évolution majeure, les interfaces de bureau ont entamé, depuis 2010, une migration progressive vers de nouveaux paradigmes censés être mieux adaptés aux écrans tactiles : iOS et Android, OS X Lion, Windows 8 et, bien sûr, Gnome Shell et Unity sous Linux. Il ne s’agit pas ici de revenir sur le débat –sa fin– des «vieilles habitudes» contre les «nouveaux gadgets», mais simplement de présenter quelques réglages techniques qui m’ont été utiles afin d’optimiser Unity sous Ubuntu 12.04 Precise Pangolin. Ces optimisations rendent Unity plus rapide et fluidifient son utilisation, au détriment de la «beauté» de l’interface.

Le gestionnaire de configuration CCSM

Les réglages s’effectuent pour la plupart dans le gestionnaire de configuration Compiz. Celui-ci n’est pas installé par défaut sur Ubuntu. Pour l’installer, il faudra lancer la commande suivante :

sudo apt-get install compizconfig-settings-manager

Pour le lancer, il suffira ensuite de taper ccsm dans le dash Unity :

Dans CCSM, les réglages qui nous intéressent ici se situent dans la section Bureau. Il s’agit de : 1) Expo ; 2) Desktop Wall ; 3) Ubuntu Unity Plugin.

Expo

Le plugin Expo permet d’afficher tous les bureaux virtuels dans une mosaïque, puis de les activer par double-clic. Lorsqu’il est activé, une animation remplace progressivement le bureau actuel par la mosaïque. L’optimisation suggérée ici a pour but de rendre ce remplacement plus rapide, afin de gagner du temps.

Dans l’onglet Behavior, abaisser la valeur de Zoom Time à 0,1000

Desktop Wall

Le plugin Desktop Wall a deux intérêts ici. D’abord, il affiche une miniature de la mosaïque du plugin Expo, au centre de l’écran, lorsqu’on change de bureau virtuel avec les raccourcis clavier. Cette miniature est totalement inutile, non seulement car l’on sait généralement de quel bureau l’on vient et sur quel bureau l’on va, lorsqu’on change de bureau, mais aussi parce qu’elle est trop petite pour que le contenu des bureaux soit réellement visible (certes, CCSM permettrait d’agrandir les vignettes, mais le bénéfice de ce plugin reste douteux).

Pour désactiver la mosaïque, il suffit de décocher la case Show Viewport Switcher Preview de l’onglet Viewport Switch Preview. Attention: il ne faut pas décocher la case Activer Desktop Wall, car Unity a besoin de ce plugin pour fonctionner.

Ensuite, le plugin Desktop Wall contrôle le passage d’un bureau virtuel à l’autre, et l’animation qui le caractérise. Cette animation est trop longue. Elle est certes très jolie, mais à la voir plusieurs dizaines de fois par jour, l’on finit à coup sûr avec un mal de crâne… J’ai donc réduit le temps de l’animation au strict minimum. Le passage d’un bureau virtuel à l’autre est beaucoup plus rapide, et l’ordinateur donne l’impression d’être beaucoup plus réactif.

Pour ce faire, on se rend sur l’onglet Viewport Switching et l’on abaisser la valeur de la propriété Wall Sliding Duration, soit à 0,1000 pour conserver une rapide animation, soit à 0,000 pour supprimer toute animation et changer de bureau dès l’activation des raccourcis clavier.

Unity

Le plugin Unity permet de régler certaines options relatives à la partie visible d’Unity. Nous ne ferons ici que 2 modifications, les autres pouvant être réalisées avec d’autres outils, tels qu’Ubuntu Tweak.

La première modification porte sur le Dock –la barre de lanceur d’applications à gauche de l’écran. Il est toujours présent à l’écran, ce qui est le plus souvent inutile : d’une part, vous êtes censé savoir quels logiciels sont actifs sur votre machine, puisque vous êtes en train de les utiliser et, d’autre part, il est beaucoup plus rapide de lancer un nouveau logiciel grâce au clavier qu’avec la souris. On peut donc se satisfaire d’un Dock caché, qui n’apparaît que lorsqu’on envoie le curseur de la souris sur la gauche de l’écran.

Pour effectuer cette modification, on se rend dans l’onglet Behavior et l’on sélectionne Autohide dans le menu déroulant Hide Launcher.

La deuxième modification se situe au même en droit, juste un peu plus bas : il s’agit de la touche du clavier utilisée pour ouvrir le Dash Unity. Par défaut, il s’agit de la touche SUPER (ou touche Windows). Unity s’accapare cette touche : elle est pour lui, et lui seul. Or, cette touche pourrait servir pour de nombreux raccourcis, si Unity ne s’en réservait pas l’usage. Je l’ai donc remplacée par une combinaison de deux touches : CTRL et SUPER. Pour ce faire, il suffit de cliquer sur sur bouton à droite de Key to show the launcher, de cliquer sur CONTROL et SUPER, puis de valider les changements.

Ce changement fait, le Dash Unity se lancera avec la combinaison de touches CTRL+SUPER, et tous les raccourcis d’Unity, habituellement assignés à SUPER+[touche] seront activable avec CTRL+SUPER+[touche]. C’est un petit désagrément, mais le jeu en vaut la chandelle : la touche SUPER est désormais libérée de l’influence d’Unity, et l’on peut l’utiliser dans d’autres raccourcis.

Les raccourcis clavier pour changer de bureau virtuel

Pour gagner du temps, j’ai décidé de changer de bureau virtuel avec les combinaisons SUPER+1/2/3/4 pour les bureaux 1, 2, 3 et 4. Sur les claviers AZERTY, les touches 1, 2, 3 et 4 donnent en réalité les caractères &é» et .

Pour assigner ces raccourcis, on lancera les Préférences système (de Gnome) et l’on se rendra dans la section Clavier

L’on se rendra ensuite dans l’onglet Raccourcis puis dans la section Navigation. On cherchera les raccourcis idoines (v. la capture d’écran ci-dessous) et on les réassignera avec la combinaison de touches désirée.

Il est également possible de définir ses propres raccourcis dans la section Raccourcis personnalisés. Par exemple, SUPER+T pour ouvrir le Terminal gnome, SUPER+B pour ouvrir un navigateur Web, etc.

Pour résumer, l’on a désormais :

  • plus de place à l'écran (le Dock est caché) ;
  • plus de réactivité dans le passage d'un bureau virtuel à l'autre ;
  • des raccourcis clavier performants.