diff options
author | Nick Brassel <nick@tzarc.org> | 2020-12-20 19:08:39 +1100 |
---|---|---|
committer | Drashna Jael're <drashna@live.com> | 2021-01-12 22:46:09 -0800 |
commit | 1309bca30bb23752ac5aa92ec052f2485f41e5ec (patch) | |
tree | 27c51a8c40d50ec249606b9a4b5c68374d430f6b /util/list_keyboards.sh | |
parent | d8ff5fd505f0caa9fa80f08fb61bc8d44b12de38 (diff) |
Follow symlinks when listing keyboards. (#11250)
Diffstat (limited to 'util/list_keyboards.sh')
-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 672d4a7843..7849cf4d91 100755 --- a/util/list_keyboards.sh +++ b/util/list_keyboards.sh @@ -3,8 +3,8 @@ # # 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!') +find -L 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 |