dimanche 11 août 2019

Les raccourcis indispensables pour le terminal

Les terminaux comme le terminal de GNOME Shell offrent de nombreux raccourcis pratiques mais pas forcément intuitifs.

Voici une sélection des plus utiles.

Lire la suite...

lundi 14 novembre 2016

Afficher la branche git dans le prompt du shell fish

Par défaut, le shell fish n'affiche pas la branche git actuelle :

Voici comment l'afficher.

Lire la suite...

dimanche 24 mai 2009

Installer fish, un shell interactif agréable

J'utilise la distribution Linux Ubuntu depuis environ 3 ans. J'utilisais le shell par défaut bash sans savoir qu'on pouvait en utiliser un autre. J'ai découvert le shell fish par hasard en lisant les commentaires d'une nouvelle sur LinuxFr.org, je l'ai installé et l'ai adopté.

Lire la suite...