This commit is contained in:
Marc Beninca 2024-06-05 11:41:47 +02:00
parent 4fc693a17e
commit 916b7a56cd
Signed by: marc.beninca
GPG key ID: 9C7613450C80C24F
2 changed files with 12 additions and 8 deletions

View file

@ -107,3 +107,10 @@ def set_ssh(*arguments):
if ssh_hosts:
fs.write(known, ssh_hosts)
os.chmod(known, 0o400)
def step(*arguments):
env.STEP += 1
print(env.DOWN)
print(env.VERTICAL, env.STEP, *arguments)
print(env.UP, flush=True)