diff options
Diffstat (limited to 'Konzerte/2018_12_08/numeriere')
-rwxr-xr-x | Konzerte/2018_12_08/numeriere | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/Konzerte/2018_12_08/numeriere b/Konzerte/2018_12_08/numeriere new file mode 100755 index 0000000..59abb42 --- /dev/null +++ b/Konzerte/2018_12_08/numeriere @@ -0,0 +1,17 @@ +#!/bin/bash + +include="$1" +include="${include##*/}" +include='\\seitenzahlen_'"${include%.*}" + +sed ' + /\\new Staff .*<</ { + s/$/\n'"${include}"'/ + ba + } + b + :a + $b + N + ba +' |