From 2fc7054a09d4579848e4e6b48da610251a8c93e6 Mon Sep 17 00:00:00 2001 From: Alex Vandiver Date: Thu, 10 Mar 2022 04:58:38 +0000 Subject: [PATCH] droplet: Fix printed instructions to have the right username/hostname. --- tools/droplets/create.py | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/tools/droplets/create.py b/tools/droplets/create.py index 31312cf035..956f7115bf 100644 --- a/tools/droplets/create.py +++ b/tools/droplets/create.py @@ -233,10 +233,10 @@ def create_dns_record(my_token: str, record_name: str, ip_address: str) -> None: domain.create_new_domain_record(type="A", name=wildcard_name, data=ip_address) -def print_dev_droplet_instructions(droplet_domain_name: str) -> None: +def print_dev_droplet_instructions(username: str, droplet_domain_name: str) -> None: print( """ -COMPLETE! Droplet for GitHub user {0} is available at {0}.zulipdev.org. +COMPLETE! Droplet for GitHub user {0} is available at {1}. Instructions for use are below. (copy and paste to the user) @@ -244,15 +244,15 @@ Instructions for use are below. (copy and paste to the user) Your remote Zulip dev server has been created! - Connect to your server by running - `ssh zulipdev@{0}` on the command line + `ssh zulipdev@{1}` on the command line (Terminal for macOS and Linux, Bash for Git on Windows). - There is no password; your account is configured to use your SSH keys. - Once you log in, you should see `(zulip-py3-venv) ~$`. - To start the dev server, `cd zulip` and then run `./tools/run-dev.py`. - While the dev server is running, you can see the Zulip server in your browser at - http://{0}:9991. + http://{1}:9991. """.format( - droplet_domain_name + username, droplet_domain_name ) ) @@ -357,6 +357,6 @@ if __name__ == "__main__": if args.production: print_production_droplet_instructions(droplet_domain_name=droplet_domain_name) else: - print_dev_droplet_instructions(droplet_domain_name=droplet_domain_name) + print_dev_droplet_instructions(username=username, droplet_domain_name=droplet_domain_name) sys.exit(1)