diff --git a/TipsShell.md b/TipsShell.md index d31b4bd2..f81b98cd 100644 --- a/TipsShell.md +++ b/TipsShell.md @@ -409,4 +409,10 @@ Renvoyer stdout/stderr dans une même sortie (par exemple /dev/null) : ~~~ eject /dev/coin > /dev/null 2>&1 +~~~ + +Détecter les tabulations + +~~~ +$ grep -P '\t' ~~~ \ No newline at end of file