diff options
Diffstat (limited to 'Konzerte/2019_12_XX/fermaten-modifizieren')
-rwxr-xr-x | Konzerte/2019_12_XX/fermaten-modifizieren | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/Konzerte/2019_12_XX/fermaten-modifizieren b/Konzerte/2019_12_XX/fermaten-modifizieren deleted file mode 100755 index 2ac6c1c..0000000 --- a/Konzerte/2019_12_XX/fermaten-modifizieren +++ /dev/null @@ -1,26 +0,0 @@ -#!/bin/bash - -sed ' - /^\s*%\s*Nr. 28\s*%\s*{{{/,/}}}/ { - /meta = {/,/}/ { - /% Fermate optional/ s@\\fermata@@ - } - } - - /^\s*%\s*Nr. 33\s*%\s*{{{/,/}}}/ { - /meta = {/,/}/ { - s@\\fermata@@ - T - N - s/\n\s*\\bar/\\fermata\0/ - P - D - } - } - - /^\s*%\s*Nr. 35\s*%\s*{{{/,/}}}/ { - /meta = {/,/}/ { - /% Fermate optional/ s@\\fermata@@ - } - } -' |