cGit-UI for Git Repositories

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