Open a shell
A machine answers ssh through a gateway, so it needs no public address and no open port for you to reach it.
Add your key
Section titled “Add your key”Add the public key you already use:
deployport machinery ssh-keys create --title "laptop" --public-key-file ~/.ssh/id_ed25519.pubThe key belongs to the account, so every machine can use it. A factory can also seed keys that its machines start with, which is the place for a deployment key that belongs to no person.
Reach a machine
Section titled “Reach a machine”deployport machinery ssh <machine-id>The command starts the machine if it is stopped, waits for it to answer, and hands the terminal to ssh. Arguments after the machine id go to ssh itself, so a port forward is:
deployport machinery ssh <machine-id> -L 8080:localhost:8080Per-machine keys
Section titled “Per-machine keys”A machine carries its own key list on top of the account’s, for the case where one machine should admit somebody the rest should not:
deployport machinery machines ssh-keys add <machine-id> --key <key-name>The user you land as
Section titled “The user you land as”The login user is a machine setting. Set it once on the machine, and ssh uses it from then on:
machines set-login-user <machine-id> <os-user>Leave it unset and the machine’s own default applies.