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_XX/hinweise-einarbeiten | |
| parent | 13a6f17103115b99ba7c01a2b5fe2125662343aa (diff) | |
| download | Musik-941e9e52859abf003d44d52f2833fae99e9422c8.tar.xz | |
Konzerte/2019_12_XX -> Konzerte/2019_12_07
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/ - ' -)" - |