diff options
author | Erich Eckner <git@eckner.net> | 2019-10-23 08:54:31 +0200 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-10-23 08:56:09 +0200 |
commit | e57e435e338c6f0eb44a0169b3b047a0df5041b0 (patch) | |
tree | a1535472d46d96a08af649b39602b7bf3ab55ae8 /Konzerte | |
parent | f09af33a887414e9a8e094d47493aafca496e228 (diff) | |
download | Musik-e57e435e338c6f0eb44a0169b3b047a0df5041b0.tar.xz |
Konzerte/2019_12_XX: Fermaten optimiert
Diffstat (limited to 'Konzerte')
-rwxr-xr-x | Konzerte/2019_12_XX/fermaten-modifizieren | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Konzerte/2019_12_XX/fermaten-modifizieren b/Konzerte/2019_12_XX/fermaten-modifizieren index 41be362..2ac6c1c 100755 --- a/Konzerte/2019_12_XX/fermaten-modifizieren +++ b/Konzerte/2019_12_XX/fermaten-modifizieren @@ -1,6 +1,12 @@ #!/bin/bash sed ' + /^\s*%\s*Nr. 28\s*%\s*{{{/,/}}}/ { + /meta = {/,/}/ { + /% Fermate optional/ s@\\fermata@@ + } + } + /^\s*%\s*Nr. 33\s*%\s*{{{/,/}}}/ { /meta = {/,/}/ { s@\\fermata@@ |