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/
+  '
+)"
+