Что касается Git, то это настоящий URL. git remote -v
и git remote get-url
выполняют только подстановки, определенные в собственной конфигурации Git (т.е. url.*.insteadOf
настройки). Остальное передается напрямую клиенту SSH.
Поэтому вам нужно либо разобрать ~/.ssh/config
самостоятельно, либо как-то спросить программу ssh
. Последние версии OpenSSH имеют опцию -G
для этого:
$ ssh -G foo | egrep "^(user|hostname|port) "
user git
hostname git.foo.com
port 9000
$ ssh -G foo | perl -e 'while (<>) { /^(\S+) (.*)$/ and $c{$1} = $2; }
for ($c{hostname}) { /:/ and s/.*/[$&]/; }
print "ssh://$c{user}\@$c{hostname}:$c{port}/\n";'
ssh://git@git.foo.com:9000/
(Префиксы git+ssh://
и ssh+git://
запланированы для удаления из git.)
Для более старых версий, у которых нет прямой опции для этого; возможно, вы могли бы злоупотребить его опцией ProxyCommand (это то, что делает Mosh) или LocalCommand, если вы не возражаете против его фактического подключения к серверу:
ssh -o ProxyCommand=">&2; echo %h %p" foo