---
main_ssh_port: 22
user_ssh_key: ~/.ssh/id_ed25519