diff options
| author | Kevin <chenkevinh11@gmail.com> | 2020-09-02 17:37:39 -0700 |
|---|---|---|
| committer | Kevin <chenkevinh11@gmail.com> | 2020-09-02 17:37:39 -0700 |
| commit | 5b493ef334c32a7074e29b68f779f81cbdf6596c (patch) | |
| tree | 193a6ebf7e0820a3fbb54f2f42487991b8321144 /docs/static | |
| parent | 068626d1a74d3883a8ccb2cd514a217098e99420 (diff) | |
| parent | d53a8e36ca17f988b7b1df754478baf2e87597e6 (diff) | |
Merge branch 'main' into docs/encoders
Sync with upstream
Diffstat (limited to 'docs/static')
| -rw-r--r-- | docs/static/setup.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/static/setup.sh b/docs/static/setup.sh index 4dc740a..a32718d 100644 --- a/docs/static/setup.sh +++ b/docs/static/setup.sh @@ -38,7 +38,7 @@ echo "" echo "Keyboard Shield Selection:" prompt="Pick an keyboard:" -options=("Kyria" "Lily58" "Corne" "Splitreus62") +options=("Kyria" "Lily58" "Corne" "Splitreus62" "Sofle") PS3="$prompt " # TODO: Add support for "Other" and linking to docs on adding custom shields in user config repos. @@ -51,6 +51,7 @@ select opt in "${options[@]}" "Quit"; do 2 ) shield_title="Lily58" shield="lily58"; split="y"; break;; 3 ) shield_title="Corne" shield="corne"; split="y"; break;; 4 ) shield_title="Splitreus62" shield="splitreus62"; split="y"; break;; + 5 ) shield_title="Sofle" shield="sofle"; split="y"; break;; # Add link to docs on adding your own custom shield in your ZMK config! # $(( ${#options[@]}+1 )) ) echo "Other!"; break;; |