Update updater.sh

This commit is contained in:
earthlng 2018-11-27 01:31:16 +00:00 committed by GitHub
parent d560a2b75d
commit d783d6574f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -317,7 +317,7 @@ update_userjs () {
remove_comments user.js $current_nocomments
diffname="userjs_diffs/diff_$(date +"%Y-%m-%d_%H%M").txt"
diff=$(sdiff -s -w 1000 $past_nocomments $current_nocomments)
diff=$(diff -B -d -y -W 1000 --suppress-common-lines $past_nocomments $current_nocomments)
if [ ! -z "$diff" ]; then
local leasttabs=999999
while read -r; do