diff options
author | Christian Grothoff <christian@grothoff.org> | 2009-05-29 00:46:26 +0000 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2009-05-29 00:46:26 +0000 |
commit | 0a217a8df1657b4334b55b0e4a6c7837a8dbcfd9 (patch) | |
tree | 6b552f40eb089db96409a312a98d9b12bd669102 /po/insert-header.sin | |
download | gnunet-0a217a8df1657b4334b55b0e4a6c7837a8dbcfd9.tar.gz gnunet-0a217a8df1657b4334b55b0e4a6c7837a8dbcfd9.zip |
ng
Diffstat (limited to 'po/insert-header.sin')
-rw-r--r-- | po/insert-header.sin | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/po/insert-header.sin b/po/insert-header.sin new file mode 100644 index 000000000..b26de01f6 --- /dev/null +++ b/po/insert-header.sin | |||
@@ -0,0 +1,23 @@ | |||
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 | } | ||