Minor tweak to the diff script.

lojban · Dec 15, 2019 · 2d00369 · 2d00369
1 parent 92b3e6f
commit 2d00369
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/diff_official b/scripts/diff_official
@@ -104,7 +104,7 @@ do
       then
         f1="$(echo "$line" | sed "s;^Files \(.*\) and .* differ$;\1;")"
         f2="$(echo "$line" | sed "s;^Files .* and \(.*\) differ$;\1;")"
-        vimdiff "$f1" "$f2"
+        vimdiff -c 'set diffopt+=iwhite' "$f1" "$f2"
       else
         echo "$line" | less
       fi