<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>