fix diff redirection
authorrick <rick@gnous.eu>
Sun, 3 Apr 2022 01:53:02 +0000 (03:53 +0200)
committerrick <rick@gnous.eu>
Sun, 3 Apr 2022 01:53:02 +0000 (03:53 +0200)
import.sh

index 922692d74622ffddb7fa2279932e37fd445e483a..9bd89915b29411a3bebe2c2e1b5074270ed06737 100755 (executable)
--- a/import.sh
+++ b/import.sh
@@ -44,7 +44,7 @@ check ()
     filename=${1/$origin/} # on garde le chemin dans le dossier d'origine
     pathfile=$(dirname $filename) # chemin sans le nom du fichier
 
-    diff -q $1 $tmp 2> /dev/null
+    diff -q $1 $tmp 1> /dev/null 2>&1
     case $? in
         1) echo -e "[$blue C $reset] Copie de $1 vers $tmp."
             cp $1 $tmp