bin/dif: do not wiked-diff big files

This commit is contained in:
xeruf 2022-10-02 22:44:22 +02:00
parent 751f421d59
commit 14cd04de96
1 changed files with 6 additions and 3 deletions

View File

@ -1,4 +1,4 @@
#!/bin/bash -e #!/bin/bash -ex
# interactive diff with pagination and nice coloring # interactive diff with pagination and nice coloring
# TODO diff sqlite repos with sqldiff # TODO diff sqlite repos with sqldiff
mime="$(file --brief --mime "$1" "$2")" mime="$(file --brief --mime "$1" "$2")"
@ -9,6 +9,9 @@ case "$mime" in
--report-identical-files --label="$1" --label="$2" <(ff "$1") <(ff "$2") --report-identical-files --label="$1" --label="$2" <(ff "$1") <(ff "$2")
;; ;;
(*sqlite*) sqldiff "$@" ;; (*sqlite*) sqldiff "$@" ;;
(*) wiked-diff "$@" ;; (*) # Use wiked-diff only for text <10MB
# diff-color --report-identical-files "$@";; if expr "$mime" : "text/" >/dev/null && test 10000000 -gt "$(stat --format=%s *.geojson | paste -s -d'+' | bc)"
then wiked-diff "$@"
else diff-color --report-identical-files "$@"
fi;;
esac | less --RAW-CONTROL-CHARS --quit-on-intr --quit-if-one-screen esac | less --RAW-CONTROL-CHARS --quit-on-intr --quit-if-one-screen