diff options
| author | horchi <vdr@jwendel.de> | 2017-03-05 16:48:30 +0100 |
|---|---|---|
| committer | horchi <vdr@jwendel.de> | 2017-03-05 16:48:30 +0100 |
| commit | bf558fd824c7ab8c794448f718b364ad403a706a (patch) | |
| tree | e0ba2269c08ccc9c9bd9c336df06b1fa6fce5ec6 /scripts/getSetupMenues | |
| download | vdr-plugin-pin-0.1.16.tar.gz vdr-plugin-pin-0.1.16.tar.bz2 | |
git init0.1.16
Diffstat (limited to 'scripts/getSetupMenues')
| -rwxr-xr-x | scripts/getSetupMenues | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/getSetupMenues b/scripts/getSetupMenues new file mode 100755 index 0000000..ea46edd --- /dev/null +++ b/scripts/getSetupMenues @@ -0,0 +1,8 @@ + +cat $1 | awk 'BEGIN { insidecom=0; } + /[<][!][-][-]/ { insidecom=1; } + /[-][-][>]/ { insidecom=0; } + /^[^-]/ { if (!insidecom) { printf( "%s\n", $0); begin=0 } }' | \ +egrep "<(system|menu|command) " | sed s/"^.* name=\""/""/ | sed s/"\".*"/""/ | sort | uniq | awk '{ printf("%s:no:0000:2359:%s:exact\n", $0, $0) }' + + |