From 68cae16063f9271e5cb8e7d8f75b3a6dfd0eded9 Mon Sep 17 00:00:00 2001 From: kyodev Date: Sun, 15 Oct 2017 08:20:08 +0200 Subject: [PATCH] maj --- docs/trucs/console/commandes_shell.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/trucs/console/commandes_shell.md b/docs/trucs/console/commandes_shell.md index 11981fb..5583dd4 100644 --- a/docs/trucs/console/commandes_shell.md +++ b/docs/trucs/console/commandes_shell.md @@ -5,7 +5,7 @@ adduser | Crée un nouveau compte utilisateur | debian addgroup | Crée un nouveau groupe | debian alias | Crée un alias | bash -awk | Cherche et remplace du texte dans des fichiers | alternatives gawk +awk | Cherche et remplace du texte dans des fichiers | voir gawk basename | Renvoie le nom du fichier passé en paramètre | coreutils gnu bzip2/bunzip2 | Compresse et décompresse un ou des fichiers | ext cal | Affiche un calendrier | coreutils gnu