Commit | Line | Data |
---|---|---|
ef79bbde P |
1 | # Sed script that inserts the file called HEADER before the header entry. |
2 | # | |
3 | # At each occurrence of a line starting with "msgid ", we execute the following | |
4 | # commands. At the first occurrence, insert the file. At the following | |
5 | # occurrences, do nothing. The distinction between the first and the following | |
6 | # occurrences is achieved by looking at the hold space. | |
7 | /^msgid /{ | |
8 | x | |
9 | # Test if the hold space is empty. | |
10 | s/m/m/ | |
11 | ta | |
12 | # Yes it was empty. First occurrence. Read the file. | |
13 | r HEADER | |
14 | # Output the file's contents by reading the next line. But don't lose the | |
15 | # current line while doing this. | |
16 | g | |
17 | N | |
18 | bb | |
19 | :a | |
20 | # The hold space was nonempty. Following occurrences. Do nothing. | |
21 | x | |
22 | :b | |
23 | } |