diff options
| author | Erich Eckner <git@eckner.net> | 2020-01-29 13:30:33 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2020-01-29 13:30:33 +0100 |
| commit | 2785e385fadbf88a44131c669d3d50168b922e77 (patch) | |
| tree | 9b992cffef20426f5029012fa716fcbc71138863 /.meta/find-extras | |
| parent | eb3a5eaee70ea02eb0febf25fe81eaccb3204c52 (diff) | |
| download | Musik-2785e385fadbf88a44131c669d3d50168b922e77.tar.xz | |
.meta/find-extras neu
Diffstat (limited to '.meta/find-extras')
| -rwxr-xr-x | .meta/find-extras | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/.meta/find-extras b/.meta/find-extras new file mode 100755 index 0000000..3b8033c --- /dev/null +++ b/.meta/find-extras @@ -0,0 +1,19 @@ +#!/bin/bash + +find . -name '*.ly' -exec sed ' + s/^.*\bifdef(`\([^'"'"']\+\)'"'"',.*$/\1/ + t + d +' '{}' + \ +| sort -u \ +| sed ' + s/^STR_// + t + /^mit-/ p + d +' \ +| tr '\n' '-' \ +| sed ' + s@-$@@ + s@^@-@ +' |