From 07288f4b9a12bd8e26d420a46e03d56f7cf3d77f Mon Sep 17 00:00:00 2001 From: Matthew Fennell Date: Sun, 28 Dec 2025 17:42:25 +0000 Subject: 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. --- install-for | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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": [ -- cgit v1.2.3