diff --git a/doc.zih.tu-dresden.de/util/check-spelling-changes.sh b/doc.zih.tu-dresden.de/util/check-spelling-changes.sh index 13417d772c990c748e19270a17b4a5eb93b3e894..6677c6238d47c12ca2179e3c789ac47b8328181b 100755 --- a/doc.zih.tu-dresden.de/util/check-spelling-changes.sh +++ b/doc.zih.tu-dresden.de/util/check-spelling-changes.sh @@ -21,8 +21,8 @@ any_fails=false source_hash=`git merge-base HEAD "$branch"` #Remove everything except lines beginning with --- or +++ files=`git diff $source_hash | sed -n 's/^[-+]\{3,3\} //p'` -echo "$files" -echo "-------------------------" +#echo "$files" +#echo "-------------------------" #Assume that we have pairs of lines (starting with --- and +++). while read oldfile; do read newfile @@ -40,11 +40,11 @@ while read oldfile; do #Remove the prefix "b/" newfile=${newfile:2} current_count=`cat "$newfile" | getNumberOfAspellOutputLines` - echo "======" - echo "$current_count" - echo "$newfile" - cat - | aspell -p "$wordlistfile" --ignore 2 -l en_US list --mode=markdown - echo "======" +# echo "======" +# echo "$current_count" +# echo "$newfile" +# cat - | aspell -p "$wordlistfile" --ignore 2 -l en_US list --mode=markdown +# echo "======" fi if [ $current_count -gt $previous_count ]; then echo "-- File $newfile"