diff options
| author | Matthew Fennell <matthew@fennell.dev> | 2025-12-28 17:42:25 +0000 |
|---|---|---|
| committer | Matthew Fennell <matthew@fennell.dev> | 2025-12-28 17:42:25 +0000 |
| commit | 07288f4b9a12bd8e26d420a46e03d56f7cf3d77f (patch) | |
| tree | 665c35bff8bdf0c8146840b41f0ec82c274b46b9 | |
| parent | fd4acc93b1eba466183907e347a6077a2f1db18b (diff) | |
Use ~/.ssh/config to find fennell-hosted server
The web services on fennell-hosted run behind a reverse proxy which I do not
control, and only forwards HTTP/HTTPS traffic. No DNS entries point to the
underlying server. Therefore, the standard approach of using any DNS name that
points to that server does not work here.
I already have an entry in my ssh config for the underlying server under an
alias. So, if I do ssh ${alias}, then it picks up the IP address from that
config file. I want to use the same approach here, without duplicating the IP
address. This means I must use the config file.
This should allow me to use more flexible naming for other servers in the
config file too, matching how I ssh to those servers normally.
| -rwxr-xr-x | install-for | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/install-for b/install-for index 4779d5e..cff256a 100755 --- a/install-for +++ b/install-for @@ -15,7 +15,7 @@ parser.add_argument("--prosody-transport", nargs=1, default = []) parser.add_argument("--web", nargs=1, default = []) args = parser.parse_args() -ssh_args = f"-o IdentitiesOnly=yes -F /dev/null -i {args.identity_file}" +ssh_args = f"-o IdentitiesOnly=yes -i {args.identity_file}" commands = { "prosody": [ |