<div dir="ltr">Thanks for the response.<div><br></div><div>I just looked at some of the later transforms in ziguard.awk, i.e. ones that don't just comment or uncomment. I completely agree it would be difficult to make it reversible!</div><div><br></div><div>Neil.</div><div><br></div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, 11 Oct 2020 at 19:07, Paul Eggert <<a href="mailto:eggert@cs.ucla.edu">eggert@cs.ucla.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Thanks; although I would ziguard.awk to be simpler, that patch would mishandle <br>
some cases (see below). So for now I'll just install the attached proposed <br>
comment to document the primary use cases. If you can clean up ziguard.awk to <br>
also be idempotent etc. that would be nice, but it's not essential.<br>
<br>
$ cp ziguard.awk ziguard.awk.bak<br>
$ patch <0001-Fix-ziguard.awk-for-Rule-lines.patch<br>
patching file ziguard.awk<br>
$ awk -v DATAFORM=rearguard -f ziguard.awk.bak africa antarctica asia <br>
australasia europe northamerica southamerica factory backward >old.zi<br>
$ awk -v DATAFORM=rearguard -f ziguard.awk africa antarctica asia australasia <br>
europe northamerica southamerica factory backward >new.zi<br>
$ diff -u old.zi new.zi<br>
--- old.zi 2020-10-11 10:34:28.979780689 -0700<br>
+++ new.zi 2020-10-11 10:34:39.351761185 -0700<br>
@@ -8262,13 +8262,13 @@<br>
# summer and negative daylight saving time in winter. It is for when<br>
# negative SAVE values are used.<br>
# Rule NAME FROM TO - IN ON AT SAVE LETTER/S<br>
-#Rule Eire 1971 only - Oct 31 2:00u -1:00 -<br>
-#Rule Eire 1972 1980 - Mar Sun>=16 2:00u 0 -<br>
-#Rule Eire 1972 1980 - Oct Sun>=23 2:00u -1:00 -<br>
-#Rule Eire 1981 max - Mar lastSun 1:00u 0 -<br>
-#Rule Eire 1981 1989 - Oct Sun>=23 1:00u -1:00 -<br>
-#Rule Eire 1990 1995 - Oct Sun>=22 1:00u -1:00 -<br>
-#Rule Eire 1996 max - Oct lastSun 1:00u -1:00 -<br>
+Rule Eire 1971 only - Oct 31 2:00u -1:00 -<br>
+Rule Eire 1972 1980 - Mar Sun>=16 2:00u 0 -<br>
+Rule Eire 1972 1980 - Oct Sun>=23 2:00u -1:00 -<br>
+Rule Eire 1981 max - Mar lastSun 1:00u 0 -<br>
+Rule Eire 1981 1989 - Oct Sun>=23 1:00u -1:00 -<br>
+Rule Eire 1990 1995 - Oct Sun>=22 1:00u -1:00 -<br>
+Rule Eire 1996 max - Oct lastSun 1:00u -1:00 -<br>
<br>
# Zone NAME STDOFF RULES FORMAT [UNTIL]<br>
Zone Europe/Dublin -0:25:00 - LMT 1880 Aug 2<br>
</blockquote></div><br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div>Google UK Limited<br><br>Registered Office: 6 Pancras Square, London, N1C 4AG<br>Registered in England Number: 3977902</div></div></div></div></div>