Exile on Keyboard St. - Blog sur Linux et Debian

Aller au contenu | Aller au menu | Aller à la recherche

Tag - gnome-terminal

Fil des billets - Fil des commentaires

lundi 18 avril 2016

Un terminal aux petits oignons pour Linux

Sous LInux, lorsqu'on lance un terminal utilisateur, celui-ci a une certaine taille, ne comporte qu'un onglet et se lance dans le répertoire HOME de l'utilisateur connecté.

Heureusement gnome-terminal et les terminaux des autres environnements graphiques Linux comportent des flags permettant de configurer le terminal différemment.

Par exemple pour lancer un terminal dans un fenêtre de 80 colonnes et de 25 lignes on utilisera:

gnome-terminal --geometry=80x25

Si de plus on souhaite que le terminal se positionne en haut à gauche de l'écran:

gnome-terminal --geometry=80x25+0+0

Si on veux utiliser tout l'écran:

gnome-terminal --maximize

ou

gnome-terminal --full-screen

En effet, sur un écran de portable de 15 pouces, je ne vois pas l'intérêt de se fatiguer la vue dans un terminal qui ressemble à un timbre poste !

On peut aussi changer le titre du terminal avec:

gnome-terminal --title="Nouveau titre"

Attention, pour que le titre s'affiche il faut que les paramètres du profil utilisé par le terminal le permettent:

Capture-Edition_du_profil___Solarized__.png

Tous ses flags cités précédemment contrôlent la fenêtre.

Un autre flag est très intéressant, c'est le flag --tab. Par exemple:

gnome-terminal --tab --tab --tab

ouvre un terminal avec trois onglets ouverts.

Un autre flag qui contrôle le terminal, celui permettant de changer le répertoire de travail:

gnome-terminal --tab --tab --working-directory=/home/users/user1/projects/project1

va démarrer deux onglets dont le deuxième sera dans le répertoire /home/users/user1/projects/project1.

Le flag --working-directory peut évidemment s'utiliser sans le flag --tab, il s'applique alors au seul terminal ouvert.

Un dernier flag utile --active qui rend actif l'onglet spécifié juste avant (par --tab) sur la ligne de commande.

Comme on l'a vu, gnome-terminal peut se configurer de différentes façons, on peut aussi afficher ou cacher la barre de menus, spécifier le profil au lancement ...

Enfin, il y a une option très intéressante pour débugger un terminal qui ne démarre pas parce que sa configuration est erronée et c'est l'option "Quand la commande se termine", dans l'onglet "Titre et commande" que l'on positionnera à "Conserver le terminal ouvert".

Cela évite que le terminal s'ouvre à toute vitesse, et que quand il se plante on n'a le temps de rien voir !

samedi 26 mars 2016

Configurer Solarized pour un terminal moins fatiguant pour la vue

Sous Gnome, et avec de nombreux environnements graphiques sous Linux, le profile par défaut du terminal a un fond blanc avec un texte en noir.

Ce choix de couleurs qui était préconisé quand j'étais étudiant est au contraire très fatiguant à la longue pour la vue, à cause de la forte luminosité causée par le fond blanc. C'est pourquoi d'autres configurations de couleurs sont apparues, comme par exemple le thème darcula d'IntelliJ.

On va voir dans ce billet comment utiliser le thème solarized pour:

  • La commande ls en configurant un fichier .dircolors
  • Positionner les couleurs du thème Solarized dans notre terminal

Solarized, c'est quoi ?

D'après son créateur Ethan Schoonover:

Solarized is a sixteen color palette (eight monotones, eight accent colors) designed for use with terminal and gui applications

En gros c'est une palette de couleurs, pour moitié lumineuses et pour moitié foncées.

Etape 1: Modifier les couleurs de ls avec dircolors

wget --no-check-certificate https://raw.github.com/seebi/dircolors-solarized/master/dircolors.ansi-dark
mv dircolors.ansi-dark ~/.dircolors
eval `dircolors ~/.dircolors`

Ces dernières commandes créent un fichier ~/.dircolors pris en compte par la commande ls pour coloriser chaque fichier, répertoire ou type de fichier de manière particulière. Au prochain login du système, il n'y a rien de particulier à faire puisque le fichier .bashrc appelle généralement la commande dircolors avec le fichier ~/.dircolors.

Pour en savoir plus sur la commande dircolors, on pourra consulter la doc de lea-linux.

Etape 2: Pour Gnome - Modifier les couleurs utilisées par gnome-terminal

Pour modifier les couleurs utilisées dans le profile du terminal, et donc dans le terminal, on va utiliser un autre repository sur Github:

git clone https://github.com/sigurdga/gnome-terminal-colors-solarized.git
cd gnome-terminal-colors-solarized
./set_dark.sh

Le script nous demande alors de choisir le thème de couleur:

  • dark
  • dark_alternative
  • light

puis le profile utilisé. Quand on a installé Linux en Français, c'est:

  • Par défaut (Default)

Ensuite on confirme et les couleurs sont instantanément modifiées dans le terminal.

Si l'on souhaite conserver le profile "Par défaut" inchangé, on peut commencer par le cloner en l'appelant par exemple "Solarized". C'est alors ce dernier profile que l'on modifiera avec ./set_dark.sh.

Etape 2: Pour Mate - Modifier les couleurs utilisées par mate-terminal

Si vous n'utilisez plus Gnome mais Mate à la place, il faut procéder comme suit:

git clone https://github.com/cledoux/mate-terminal-colors-solarized.git
cd mate-terminal-colors-solarized.git
./install.sh 

Note: Sur Debian Jessie, j'ai dû me déconnecter de l'interface graphique afin que les modifications du profil du terminal soient prises en compte.