
Parlons un peu de Terminator, heureuse découverte sur l'écran d'un collègue il y a quelques jours. Je vous en parle maintenant car j'ai pu l'utiliser et surtout car une nouvelle version vient de sortir ! Bon alors Terminator en fait c'est quoi ?
C'est un émulateur de terminaux et/ou un gestionnaire de terminal, ça dépends comment on voit les choses.
Si vous n'utilisez qu'un seul terminal, je ne vous conseille pas forcémment d'utiliser ce logiciel, c'est un peu le tank pour écraser la mouche. Aller plutôt voir du côté de urxvt comme le conseil Ment dans Enlarge Your Gnome.
En ce qui me concerne, j'ai un écran totalement pris par 4 terminaux splités de manières égales et avec la nouvelle version, les "profile" ont fait leur apparitions et Terminator peut retenir votre organisation de fenêtre et la charger au démarrage ce qui est fort pratique. On parlait avec un collègue trois jours avant cette sortie, d'implémenter cette même fonction qui nous manquait cruellement !

Bref, passons plutôt à l'amusement, un petit coup de apt-get install terminator pour installer et s'amuser un peu. Si vous ne pouvez pas faire de apt-get install, n'hésitez pas à voir le site. De plus, ça n'est pas bien complexe à installer sachant que c'est du python (pas de compile ici !).
Problèmes rencontrés
Si Terminator ne retient pas votre configuration, c'est un bug introduit par la 0.90 et je ne sais pas si il a été corrigé dans la 0.91 car je n'ai pas retiré mon petit "fix". Mais bref, le problème étant que Terminator enregistrait la config dans un fichier nommé "epic-config" et cherchait à la lire depuis un fichier nommé "config". Forcémment, ça marche moins bien... Un petit coup de
cd ~/.config/terminator/ && ln -sf epic-config ~/.config/terminator/configdevrait régler votre problème !
Et un petit truc très ennuyeux, si vous souhaitez supprimer la barre de titre, vous allez vous apercevoir qu'il reste un petit morceau qui s'affiche toujours. Ce morceau est censé être utile pour la fonction "grouping". Si vous n'en avez rien à faire, voici un petit patch permettant de retirer ce désagréable tacheron visuel :
=== modified file 'terminatorlib/titlebar.py'
--- terminatorlib/titlebar.py 2010-03-23 20:48:04 +0000
+++ terminatorlib/titlebar.py 2010-03-31 12:37:16 +0000
@@ -151,7 +151,7 @@
else:
color = gtk.gdk.color_parse(title_bg)
self.set_size_request(-1, 2)
- self.label.hide()
+ self.hide()
else:
self.set_size_request(-1, -1)
self.label.show()
Le fichier a modifier étant /usr/share/terminator/terminatorlib/titlebar.py
Il y'a un bug d'ouvert concernant ce soucis est une discussion est engagé pour trouver la meilleure solution à cela.

/var/www/flickr