diff options
Diffstat (limited to 'util')
-rwxr-xr-x | util/list_keyboards.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/util/list_keyboards.sh b/util/list_keyboards.sh new file mode 100755 index 0000000000..672d4a7843 --- /dev/null +++ b/util/list_keyboards.sh @@ -0,0 +1,10 @@ +#!/bin/sh +# Temporary shell script to find keyboards +# +# This allows us to exclude keyboards by including a .noci file. + +find keyboards -type f -name rules.mk | grep -v keymaps | while read keyboard; do + keyboard=$(echo $keyboard | sed 's!keyboards/\(.*\)/rules.mk!\1!') + + [ "$1" = "noci" -a -e "keyboards/${keyboard}/.noci" ] || echo "$keyboard" +done |