Je suis développeur web freelance et propose des formations à Symfony2 ! Contactez-moi pour en discuter.

terminatorIl y a quelques semaines, mon collègue tilap écrivait un article sur l’utilisation de screen partager un terminal en plusieurs.

Screen est plus largement répandu, et permet de partager un terminal sans installation préalable lors d’une connection SSH. Par contre au quotidien je préfère utiliser terminator, qui est quand même plus simple et convivial. Voici donc un petit guide de survie.

Installation

L’installation sur Ubuntu 14.04 se fait via :

1
apt-get install terminator

Les raccourcis essentiels

4 raccourcis servent à faire la plupart des choses :

  • ctrl+maj+o = ouvre un terminal dans le répertoire actuel, une barre horizontale sépare alors les 2 terminaux
  • ctrl+maj+e = ouvre un terminal dans le répertoire actuel, une barre verticale sépare alors les 2 terminaux
  • ctrl+maj+w = ferme le terminal sélectionné
  • ctrl+maj+x = fait disparaitre les autres terminaux, en ouvrant le terminal sélectionné en grand. ctrl+maj+x permet de revenir aux autres écrans

Pour ceux qui aiment naviguer au clavier, on peut se déplacer entre les terminaux rapidement assez rapidement avec quelques
ctrl+tab permet de naviguer vers le terminal suivant (ctrl+maj+tab pour obtenir le précédent)
ctrl+maj+gauche/droite/haut/bas permet déplacer les séparateurs entre les différents terminaux

La configuration de terminator est stockée dans ~/.config/terminator/config. Voici quelques paramètres que je trouve bien pour donner à terminator l’apparence d’un gnome shell :

1
2
3
4
5
6
7
8
9
[global_config]
  suppress_multiple_term_dialog = True
[profiles]
  [[default]]
    background_image = None
    background_color = "#2c001e"
    split_to_group = True
    show_titlebar = False
    foreground_color = "#ffffff"

Cela permet d’avoir la couleur de fond d’ubuntu et masque les titres ajoutés par terminator, donnant ainsi aux terminaux le même aspect qu’un gnome-terminal, mais en ayant plus de possibilités.

Répondre

Unable to load the Are You a Human PlayThru™. Please contact the site owner to report the problem.