fix diff redirection

This commit is contained in:
rick 2022-04-03 03:53:02 +02:00
parent 4917b65581
commit dc1766ac3b
Signed by: Rick
GPG key ID: 4A6223D66294EB20

View file

@ -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