diff options
Diffstat (limited to 'Konzerte/2019_12_XX/hinweise-einarbeiten')
| -rwxr-xr-x | Konzerte/2019_12_XX/hinweise-einarbeiten | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/Konzerte/2019_12_XX/hinweise-einarbeiten b/Konzerte/2019_12_XX/hinweise-einarbeiten deleted file mode 100755 index f68ed8a..0000000 --- a/Konzerte/2019_12_XX/hinweise-einarbeiten +++ /dev/null @@ -1,21 +0,0 @@ -#!/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/ - ' -)" - |