Add batcat node

2023-05-21 18:03:38 +02:00
parent 6e78335f5d
commit 9dfa0e63bb
1 changed files with 13 additions and 0 deletions
--- a/20220825081058-batcat.org
+++ 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.]]