mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

Browse source
This commit is contained in:
gregor 2014-12-02 17:16:15 +00:00 • committed by admin
parent e82223a71f
commit 571f5e37da
1 changed files with 6 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
doc/bugs/should_be_possible_to_use_ssh_hosts_from_.ssh__47__config.mdwn
View file

@ -2,11 +2,13 @@
I am using a ssh-host configured in .ssh/config in a corporate-environment like this: I am using a ssh-host configured in .ssh/config in a corporate-environment like this:
Host home [[!format sh """
Host home
Hostname 1.2.3.4 Hostname 1.2.3.4
Port 443 Port 443
ProxyCommand corkscrew proxy.fqdn 8080 %h %p ~/.authfile ProxyCommand corkscrew proxy.fqdn 8080 %h %p ~/.authfile
# http://www.agroman.net/corkscrew/ # 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. 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.