From: Mark Wooding <mdw@distorted.org.uk>
Date: Mon, 25 Apr 2016 01:14:42 +0000 (+0100)
Subject: with-authinfo-kludge: Trim default port from `authinfo-kludge' argument.
X-Git-Tag: 0.1.0~11
X-Git-Url: https://git.distorted.org.uk/~mdw/with-authinfo-kludge/commitdiff_plain/b1436e12dcef42f3c96677b1aece6aa03bbfed84

with-authinfo-kludge: Trim default port from `authinfo-kludge' argument.

Only my specially hacked version can actually cope with this.
---

diff --git a/with-authinfo-kludge b/with-authinfo-kludge
index fae87b5..f3bb428 100755
--- a/with-authinfo-kludge
+++ b/with-authinfo-kludge
@@ -592,6 +592,8 @@ sub fix_server_config ($) {
   $s->{"_proxy_sockdir"} = undef;
   $s->{"_proxy_server"} = defined $s->{"via"} ?
     $s->{"sshbind"} : $s->{"remote"};
+  $s->{"_proxy_server"} =~ s/:119$//;
+  $s->{"_proxy_server"} =~ s/^\[(.*)\]$/$1/;
   $s->{"_sshkid"} = undef;
   $s->{"_ssh_master"} = undef;
 }