w3m

Unnamed repository; edit this file to name it for gitweb.
git clone https://logand.com/git/w3m.git/
Log | Files | Refs | README

remove-potcdate.sin (432B)

      1 # Sed script that remove the POT-Creation-Date line in the header entry
      2 # from a POT file.
      3 #
      4 # The distinction between the first and the following occurrences of the
      5 # pattern is achieved by looking at the hold space.
      6 /^"POT-Creation-Date: .*"$/{
      7 x
      8 # Test if the hold space is empty.
      9 s/P/P/
     10 ta
     11 # Yes it was empty. First occurrence. Remove the line.
     12 g
     13 d
     14 bb
     15 :a
     16 # The hold space was nonempty. Following occurrences. Do nothing.
     17 x
     18 :b
     19 }