diff options
| author | Erich Eckner <git@eckner.net> | 2019-11-04 11:23:37 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-11-04 11:24:26 +0100 |
| commit | 941e9e52859abf003d44d52f2833fae99e9422c8 (patch) | |
| tree | 96ad88ff15227d9ca6529d2aa27e3ea3e1ab7716 /Konzerte/2019_12_07/hinweise-einarbeiten | |
| parent | 13a6f17103115b99ba7c01a2b5fe2125662343aa (diff) | |
| download | Musik-941e9e52859abf003d44d52f2833fae99e9422c8.tar.xz | |
Konzerte/2019_12_XX -> Konzerte/2019_12_07
Diffstat (limited to 'Konzerte/2019_12_07/hinweise-einarbeiten')
| -rwxr-xr-x | Konzerte/2019_12_07/hinweise-einarbeiten | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/Konzerte/2019_12_07/hinweise-einarbeiten b/Konzerte/2019_12_07/hinweise-einarbeiten new file mode 100755 index 0000000..f68ed8a --- /dev/null +++ b/Konzerte/2019_12_07/hinweise-einarbeiten @@ -0,0 +1,21 @@ +#!/bin/bash + +cnt=$( + cat +) + +printf '%s\n' "${cnt}" \ +| sed "$( + printf '%s\n' "${cnt}" \ + | sed -n ' + s/^.*%ERICH-HINWEIS: \([^0-9]\+\)\([0-9]*\) != \(.\+\)%.*$/\1 duration \2 != \3/ + T + = + p + ' \ + | sed ' + N + s/^\([0-9]\+\)\n\([^0-9]\+\) duration \([0-9]*\) != \(.*\)$/\1 s@\2\3@<\2 \\\\tweak NoteHead.style #'"'"'cross \4 >\3@g/ + ' +)" + |