diff options
| author | Joel Challis <git@zvecr.com> | 2023-01-03 03:15:29 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-03 14:15:29 +1100 |
| commit | c345278101b3882a2f33b078021ab31a6129120a (patch) | |
| tree | 3b5bc671cf95fc56cc9e5eea2b62d223e44f321e /util | |
| parent | 44800f119d330bb0f02f3d13c36cafe57adc20ee (diff) | |
Replace list_keyboards.sh with CLI calls (#19485)
Diffstat (limited to 'util')
| -rwxr-xr-x | util/list_keyboards.sh | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/util/list_keyboards.sh b/util/list_keyboards.sh deleted file mode 100755 index 0d1dae888f..0000000000 --- a/util/list_keyboards.sh +++ /dev/null @@ -1,6 +0,0 @@ -#!/bin/sh -# Temporary shell script to find keyboards -# -# This allows us to include DEFAULT_FOLDER targets. - -find -L keyboards -type f -name rules.mk | grep -v keymaps | sed 's!keyboards/\(.*\)/rules.mk!\1!' |