diff options
Diffstat (limited to 'linden/indra/libgpg-error/libgpg-error-1.0/po/insert-header.sin')
-rwxr-xr-x | linden/indra/libgpg-error/libgpg-error-1.0/po/insert-header.sin | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/linden/indra/libgpg-error/libgpg-error-1.0/po/insert-header.sin b/linden/indra/libgpg-error/libgpg-error-1.0/po/insert-header.sin new file mode 100755 index 0000000..b26de01 --- /dev/null +++ b/linden/indra/libgpg-error/libgpg-error-1.0/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 | } | ||