From 224cb73643074f8f0654b688df7df13dd7b8ae4a Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Sat, 21 Mar 2009 14:45:53 +0100
Subject: purify_html: New.

---
 purify_html | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 purify_html

(limited to 'purify_html')

diff --git a/purify_html b/purify_html
new file mode 100755
index 00000000..a9ead881
--- /dev/null
+++ b/purify_html
@@ -0,0 +1,11 @@
+#!/bin/sh
+
+# Un-mangle mailto links: convert HTML character entities to real characters.
+find ./ -name \*.html -print0 \
+  | xargs -0 \
+    perl -p -i -l -e \
+      'BEGIN { $replacing = 0; }
+      # The replacing-toggling logic is a bit rough, but so is life.
+      $replacing = 1 if /<a href="mailto:/;
+      s%\&#(x?)([^;]*);%chr(length($1) ? hex($2) : $2)%eg if $replacing;
+      $replacing = 0 if /<\/a>/;'
-- 
cgit v1.2.3


From 3e0e1dca88637e340aef051edeb3e8b80fdf0845 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Thu, 15 Oct 2009 15:02:38 +0200
Subject: purify_html: Add a header.

---
 purify_html | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'purify_html')

diff --git a/purify_html b/purify_html
index a9ead881..4cf582af 100755
--- a/purify_html
+++ b/purify_html
@@ -1,5 +1,9 @@
 #!/bin/sh
 
+# Mangle the rendered files to cause fewer differernces upon re-rendering.
+
+# Written by Thomas Schwinge <tschwinge@gnu.org>.
+
 # Un-mangle mailto links: convert HTML character entities to real characters.
 find ./ -name \*.html -print0 \
   | xargs -0 \
-- 
cgit v1.2.3


From b7daa22561cbd9285f431f097a71cc66bec1dc34 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <thomas@schwinge.name>
Date: Wed, 27 Oct 2010 16:49:49 +0200
Subject: purify_html: Rewritten in order to maintain the files' original
 timestamps unless they're actually modified.

---
 purify_html | 42 +++++++++++++++++++++++++++++++++---------
 1 file changed, 33 insertions(+), 9 deletions(-)

(limited to 'purify_html')

diff --git a/purify_html b/purify_html
index 4cf582af..9c3a7862 100755
--- a/purify_html
+++ b/purify_html
@@ -1,15 +1,39 @@
 #!/bin/sh
 
-# Mangle the rendered files to cause fewer differernces upon re-rendering.
+# Mangle the rendered files to cause fewer differences after re-rendering.
 
-# Written by Thomas Schwinge <tschwinge@gnu.org>.
+# Written by Thomas Schwinge <thomas@schwinge.name>.
 
 # Un-mangle mailto links: convert HTML character entities to real characters.
 find ./ -name \*.html -print0 \
-  | xargs -0 \
-    perl -p -i -l -e \
-      'BEGIN { $replacing = 0; }
-      # The replacing-toggling logic is a bit rough, but so is life.
-      $replacing = 1 if /<a href="mailto:/;
-      s%\&#(x?)([^;]*);%chr(length($1) ? hex($2) : $2)%eg if $replacing;
-      $replacing = 0 if /<\/a>/;'
+  | xargs -0 --no-run-if-empty -n 1 \
+    perl -e \
+      'BEGIN {
+        $file = $ARGV[0];
+        $discard = 1;
+        $replacing = 0;
+
+        # TODO: could use a proper temporary file.
+        open(OUT, ">$file.new") or die "open: $file: $!";
+        select(OUT) or die "select: $file: $!";
+      }
+
+      while (<>) {
+        # The replacing-toggling logic is a bit rough, but so is life.
+        $replacing = 1 if /<a href="mailto:/;
+        s%\&#(x?)([^;]*);%$discard = 0; chr(length($1) ? hex($2) : $2);%eg if $replacing;
+        $replacing = 0 if /<\/a>/;
+      } continue {
+        print or die "print: $file: $!";
+      }
+
+      END {
+        if ($discard) {
+          unlink("$file.new") or die "unlink: $file: $!";
+        } else {
+          rename("$file.new", $file) or die "rename: $file: $!";
+        }
+      }'
+
+# Compared to using ``perl -p -i -l'', this solution maintains the files'
+# original timestamps unless they're actually modified.
-- 
cgit v1.2.3