From 8332a3059c5bc82be2b2f4302a30035e7647a831 Mon Sep 17 00:00:00 2001 From: Mickael Asseline Date: Mon, 10 May 2021 07:55:17 +0000 Subject: [PATCH] docs: update Linux/Terminal --- Linux/Terminal.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Linux/Terminal.html b/Linux/Terminal.html index 81a272a..f1b8d0a 100644 --- a/Linux/Terminal.html +++ b/Linux/Terminal.html @@ -2,7 +2,7 @@ title: Linux - Terminal description: Toutes les astuces pour votre terminal ! published: true -date: 2021-05-10T07:54:18.366Z +date: 2021-05-10T07:55:16.299Z tags: editor: ckeditor dateCreated: 2021-05-10T07:29:51.462Z @@ -12,7 +12,7 @@ dateCreated: 2021-05-10T07:29:51.462Z

La base

Simplement celui de votre environnement de bureau !

Pour ma part j'utilise KDE qui fournit Konsole : simple, personnalisable et bien pensé. Il est un très bon terminal pour débuter sous Linux.

-

Le jolie

+

Le jolie et complet

Mon petit chouchou, disponible sous Linux, MacOS et Windows : Extraterm

Il est développé avec Electron ce qui le rend accessible sur tous les OS mais il souffre aussi de quelques ralentissement par moment. Cependant il intègre beaucoup de fonctionnalités très intéressantes comme :