diff options
author | Nick Brassel <nick@tzarc.org> | 2020-12-20 19:08:39 +1100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-20 19:08:39 +1100 |
commit | 13bbeefc5af557abb1dc577bfafc709c5e09def0 (patch) | |
tree | ddc14423d8ace566c727f00bccb524709dd4f1cc | |
parent | 63362a9c5e8251ad2d080e21d6b9af45b5adb0c4 (diff) |
Follow symlinks when listing keyboards. (#11250)
-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 |