jfgiraud.github.io
Accueil
Posts
Tags
RSS
GitHub
GitLab
linkedin
Tag: #diff
2012-10-12
bash, savoir si stdout fait référence à un terminal
2012-07-16
bash, récupérer les noms de fichiers renvoyés par diff -rb --brief