diff options
-rw-r--r-- | doc/bugs/should_be_possible_to_use_ssh_hosts_from_.ssh__47__config.mdwn | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/doc/bugs/should_be_possible_to_use_ssh_hosts_from_.ssh__47__config.mdwn b/doc/bugs/should_be_possible_to_use_ssh_hosts_from_.ssh__47__config.mdwn index bb1422370..81f1ed3ef 100644 --- a/doc/bugs/should_be_possible_to_use_ssh_hosts_from_.ssh__47__config.mdwn +++ b/doc/bugs/should_be_possible_to_use_ssh_hosts_from_.ssh__47__config.mdwn @@ -2,11 +2,13 @@ I am using a ssh-host configured in .ssh/config in a corporate-environment like this: -Host home - Hostname 1.2.3.4 - Port 443 - ProxyCommand corkscrew proxy.fqdn 8080 %h %p ~/.authfile +[[!format sh """ + Host home + Hostname 1.2.3.4 + Port 443 + ProxyCommand corkscrew proxy.fqdn 8080 %h %p ~/.authfile # http://www.agroman.net/corkscrew/ +"""]] I now want to be able to add this host as a remote repository, but don't have the ability to add it. A tunnel to localhost would be possible but then I would have to setup this portforwarding for git-annex separately every time it is started. |