12 juil. 2019

Un meilleur terminal

Une collection d'outils pour rendre le shell plus agréable. Et en bonus, une image Docker pour l'utiliser dans un navigateur.

Lire la suite