afb81b8278
Some checks failed
Docker. / Ubuntu (push) Has been cancelled
User-agent updater. / User-agent (push) Failing after 15s
Lock Threads / lock (push) Failing after 10s
Waiting for answer. / waiting-for-answer (push) Failing after 22s
Needs user action. / needs-user-action (push) Failing after 8s
Can't reproduce. / cant-reproduce (push) Failing after 8s
Close stale issues and PRs / stale (push) Has been cancelled
20 lines
432 B
Plaintext
20 lines
432 B
Plaintext
# Sed script that remove the POT-Creation-Date line in the header entry
|
|
# from a POT file.
|
|
#
|
|
# The distinction between the first and the following occurrences of the
|
|
# pattern is achieved by looking at the hold space.
|
|
/^"POT-Creation-Date: .*"$/{
|
|
x
|
|
# Test if the hold space is empty.
|
|
s/P/P/
|
|
ta
|
|
# Yes it was empty. First occurrence. Remove the line.
|
|
g
|
|
d
|
|
bb
|
|
:a
|
|
# The hold space was nonempty. Following occurrences. Do nothing.
|
|
x
|
|
:b
|
|
}
|