gnunet-ext

Template for writing GNUnet extensions
Log | Files | Refs | README | LICENSE

insert-header.sin (906B)


      1 # Sed script that inserts the file called HEADER before the header entry.
      2 #
      3 # Copyright (C) 2001 Free Software Foundation, Inc.
      4 # Written by Bruno Haible <bruno@clisp.org>, 2001.
      5 # This file is free software; the Free Software Foundation gives
      6 # unlimited permission to use, copy, distribute, and modify it.
      7 #
      8 # At each occurrence of a line starting with "msgid ", we execute the following
      9 # commands. At the first occurrence, insert the file. At the following
     10 # occurrences, do nothing. The distinction between the first and the following
     11 # occurrences is achieved by looking at the hold space.
     12 /^msgid /{
     13 x
     14 # Test if the hold space is empty.
     15 s/m/m/
     16 ta
     17 # Yes it was empty. First occurrence. Read the file.
     18 r HEADER
     19 # Output the file's contents by reading the next line. But don't lose the
     20 # current line while doing this.
     21 g
     22 N
     23 bb
     24 :a
     25 # The hold space was nonempty. Following occurrences. Do nothing.
     26 x
     27 :b
     28 }