Skip to content

Add some types. #1234

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
floitsch merged 3 commits into from
Mar 16, 2026
Merged

Add some types. #1234

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
d66ebd4
Add more types.
floitsch Mar 14, 2026
bd5ce97
Fix type.
floitsch Mar 14, 2026
793f272
One more List->Map.
floitsch Mar 14, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
32 changes: 16 additions & 16 deletions src/cli/cmds/config.toit
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -180,12 +180,12 @@ show-config invocation/Invocation:
config := cli.config
ui := cli.ui

default-device := config.get CONFIG-DEVICE-DEFAULT-KEY
default-broker := config.get CONFIG-BROKER-DEFAULT-KEY
default-org := config.get CONFIG-ORGANIZATION-DEFAULT-KEY
servers := config.get CONFIG-SERVERS-KEY
auths := config.get CONFIG-SERVER-AUTHS-KEY
recovery-urls := config.get CONFIG-RECOVERY-SERVERS-KEY
default-device/string? := config.get CONFIG-DEVICE-DEFAULT-KEY
default-broker/string? := config.get CONFIG-BROKER-DEFAULT-KEY
default-org/string? := config.get CONFIG-ORGANIZATION-DEFAULT-KEY
servers/Map? := config.get CONFIG-SERVERS-KEY
auths/Map? := config.get CONFIG-SERVER-AUTHS-KEY
recovery-urls/List? := config.get CONFIG-RECOVERY-SERVERS-KEY

if ui.wants-structured:
result := {
Expand Down Expand Up @@ -232,14 +232,14 @@ default-server invocation/Invocation:
config := cli.config
ui := cli.ui

config-key := invocation["artemis"] ? CONFIG-ARTEMIS-DEFAULT-KEY : CONFIG-BROKER-DEFAULT-KEY
config-key/string := invocation["artemis"] ? CONFIG-ARTEMIS-DEFAULT-KEY : CONFIG-BROKER-DEFAULT-KEY

if invocation["clear"]:
config.remove config-key
config.write
return

name := invocation["name"]
name/string? := invocation["name"]
if not name:
default-server := config.get config-key
if default-server:
Expand All @@ -260,9 +260,9 @@ add-supabase invocation/Invocation:
config := cli.config
ui := cli.ui

name := params["name"]
url-string := params["url"]
anon := params["anon"]
name/string := params["name"]
url-string/string := params["url"]
anon/string := params["anon"]

use-tls := false
host := ""
Expand Down Expand Up @@ -366,7 +366,7 @@ add-recovery-server invocation/Invocation:
config := invocation.cli.config
ui := invocation.cli.ui

url := invocation["url"]
url/string := invocation["url"]

config-key := CONFIG-RECOVERY-SERVERS-KEY
recovery-servers := config.get config-key --init=: []
Expand All @@ -383,7 +383,7 @@ list-recovery-servers invocation/Invocation:
ui := invocation.cli.ui

config-key := CONFIG-RECOVERY-SERVERS-KEY
recovery-servers := config.get config-key or []
recovery-servers/List := config.get config-key or []

ui.emit-list
--kind=Ui.RESULT
Expand All @@ -396,9 +396,9 @@ remove-recovery-servers invocation/Invocation:
ui := cli.ui
params := invocation.parameters

all := params["all"]
urls := params["url"]
force := params["force"]
all/bool? := params["all"]
urls/List? := params["url"]
force/bool? := params["force"]

config-key := CONFIG-RECOVERY-SERVERS-KEY
recovery-servers := config.get config-key --init=: []
Expand Down