This commit is contained in:
Marc Beninca 2024-06-09 20:55:32 +02:00
parent 371d66cb61
commit 736e4fccb9
Signed by: marc.beninca
GPG key ID: 9C7613450C80C24F

View file

@ -97,7 +97,7 @@ def install_commands(path: str) -> None:
(user / f"{COMMANDS_PREFIX}{command}").symlink_to(path)
def set_ssh(*arguments) -> None:
def set_ssh(*arguments: str) -> None:
step("Set SSH")
#
ssh_key, ssh_hosts = arguments
@ -124,12 +124,12 @@ def set_ssh(*arguments) -> None:
cat(known)
def open(*arguments) -> None:
def open(*arguments: str) -> None:
print(env.CD_OPEN, end="")
print(*arguments, flush=True)
def shut(*arguments) -> None:
def shut(*arguments: str) -> None:
print(env.CD_SHUT, end="")
print(*arguments, flush=True)
@ -138,7 +138,7 @@ def split() -> None:
print(env.CD_SPLT, flush=True)
def step(*arguments) -> None:
def step(*arguments: str) -> None:
env.CD_STEP += 1
print(env.CD_DOWN)
print(env.CD_VERT, env.CD_STEP, *arguments)