blob: ea46edd0527b9eeb0be826133b957f69d50706b7 (
plain)
1
2
3
4
5
6
7
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) }'
|
