diff options
-rwxr-xr-x | util/list_keyboards.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/util/list_keyboards.sh b/util/list_keyboards.sh index 672d4a784..7849cf4d9 100755 --- a/util/list_keyboards.sh +++ b/util/list_keyboards.sh | |||
@@ -3,8 +3,8 @@ | |||
3 | # | 3 | # |
4 | # This allows us to exclude keyboards by including a .noci file. | 4 | # This allows us to exclude keyboards by including a .noci file. |
5 | 5 | ||
6 | find keyboards -type f -name rules.mk | grep -v keymaps | while read keyboard; do | 6 | find -L keyboards -type f -name rules.mk | grep -v keymaps | while read keyboard; do |
7 | keyboard=$(echo $keyboard | sed 's!keyboards/\(.*\)/rules.mk!\1!') | 7 | keyboard=$(echo $keyboard | sed 's!keyboards/\(.*\)/rules.mk!\1!') |
8 | 8 | ||
9 | [ "$1" = "noci" -a -e "keyboards/${keyboard}/.noci" ] || echo "$keyboard" | 9 | [ "$1" = "noci" -a -e "keyboards/${keyboard}/.noci" ] || echo "$keyboard" |
10 | done | 10 | done |