From: Thérèse Godefroy Date: Sun, 27 Jul 2014 21:07:29 +0000 (+0200) Subject: fr: script to visualize differences between 2 pages. X-Git-Url: https://vcs.fsf.org/?a=commitdiff_plain;h=f275dd4fbac31f86e4efa7cb3bb2e904b89da008;p=enc.git fr: script to visualize differences between 2 pages. --- diff --git a/fr/kitchen/color-wdiff b/fr/kitchen/color-wdiff new file mode 100755 index 00000000..7648a267 --- /dev/null +++ b/fr/kitchen/color-wdiff @@ -0,0 +1,156 @@ +#!/bin/bash + +# color-wdiff visualizes the differences between 2 versions of the same page. +# This script was extracted from GNUN's GNUmakefile (function "mark-outdated") +# and adapted. GNUN (http://www.gnu.org/software/gnun/) is under GPLv3. + +# Howto: +# - The script is in [...]/enc/fr/kitchen. +# - cd to that directory and run: +# ./color-wdiff FILE1 FILE2 +# (FILE1 and FILE2 are the paths to the files to be compared.) +# - The diff file is created in the directory where FILE1 resides. +# +# For example, compare old and new versions of index.t.html: +# ./color-diff index.t.html index-new.t.html + +# Note: the diff is much easier to use if the HTML is not indented. +# Reformatting is done by the function "page_reformat", which leaves the +# original page intact. + + +file=$1 +file1=$2 +diff_file=${file%.html}-diff.html + +page_reformat () { + #reformats the original pages of emailselfdefense.fsf.org + + cp $1 $1.tmp + + # Remove javascript, which shouldn't be reformatted. + sed -i '/jquery-1.11.0.min.js/,$d' $1.tmp + + # Remove leading and trailing spaces/tabs. + sed -i 's,\t, ,g' $1.tmp + sed -i 's,^ *,,' $1.tmp + sed -i 's, *$,,' $1.tmp + + # Remove LF after . + sed -i '/<\/a>$/ {N; s,<\/a>\n\([^<]\),<\/a>\1,}' $1.tmp + + # One string per paragraph, header or list item. + for tag in li p strong a h3; do + sed -i "/<$tag[^>]*>$/ {N; s,\\n, ,}" $1.tmp + done + for tag in a strong; do + sed -i "/<\\/$tag>$/ {N; s,\\n, ,}" $1.tmp + done + # This command may need to be repeated. Adjust the number of repeats. This + # could be done by looping back to a sed marker, but a while loop seems + # quicker. + i=0 + while (( i < 2 )); do + sed -i '/[^<>]$/ {N; s,\([^<>]\)\n,\1 ,}' $1.tmp + let i=i+1 + done + + sed -i '/ \/>$/ {N; s,\( \/>\)\n,\1 ,}' $1.tmp + sed -i '/ ]*>$/ {N; s,\(]*>\)\n\([^<]\),\1 \2,}' $1.tmp + + # Make sure there is only one paragraph per string. This command may need to + # be repeated. Adjust the number of repeats. + i=0 + while (( i < 2 )); do + sed -i 's,

\(.\+\)$,

\n\1,' $1.tmp + let i=i+1 + done + + # Single out the tags which include p (will also work for pre). + sed -i 's,\(.\) <$tag,>\n<$tag," $1.tmp + done + # Remove leading and trailing spaces, double spaces and blank lines. + sed -i 's,^ *,,' $1.tmp + sed -i 's, *$,,' $1.tmp + sed -i 's, , ,g' $1.tmp + sed -i '/^$/d' $1.tmp + + # Fuse comment with

. + sed -i '/<\/p>$/ {N;s,\n\( + + + +${diff_file##*\/} + +
+EOF
+
+# Run wdiff with options to add the proper markup at the beginning and end of
+# deletions and insertions.
+wdiff --start-delete '' \
+      --end-delete '' \
+      --start-insert '' \
+      --end-insert '' \
+      ${file}.tmp ${file1}.tmp >> $diff_file
+
+# Add the closing tags.
+echo '
' >> $diff_file + +# Clean up. +rm -f ${file}.tmp ${file1}.tmp ${file}.r ${file1}.r