From 9dfa0e63bb1544cd4ae6ff53f0a2c6abdac4148a Mon Sep 17 00:00:00 2001 From: Adrien Date: Sun, 21 May 2023 18:03:38 +0200 Subject: [PATCH] Add batcat node --- 20220825081058-batcat.org | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 20220825081058-batcat.org diff --git a/20220825081058-batcat.org b/20220825081058-batcat.org new file mode 100644 index 0000000..fdc2029 --- /dev/null +++ b/20220825081058-batcat.org @@ -0,0 +1,13 @@ +:PROPERTIES: +:ID: d5b19724-9559-44de-aef7-c4d57fb6dc95 +:mtime: 20230521174952 +:ctime: 20220825081058 +:END: +#+title: batcat + +* Introduction +utilitaire permettant de visualiser les fichiers depuis un terminal avec une mise en forme plus évoluée que /cat/ +(coloration syntaxique). + +* Références + * [[https://github.com/sharkdp/bat][GitHub - sharkdp/bat: A cat(1) clone with wings.]]