diff options
author | gregor <gregor@web> | 2014-12-02 17:05:01 +0000 |
---|---|---|
committer | admin <admin@branchable.com> | 2014-12-02 17:05:01 +0000 |
commit | 99c705f8af329f566d234d1cf628168c6907ce82 (patch) | |
tree | e16057f4356cf65791f1ba02b303da6651a56490 /doc/bugs | |
parent | eaf3f639a7b352be3eeed037907754d6a0d017d5 (diff) |
Diffstat (limited to 'doc/bugs')
-rw-r--r-- | doc/bugs/should_be_possible_to_use_ssh_hosts_from_.ssh__47__config.mdwn | 11 |
1 files changed, 11 insertions, 0 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 new file mode 100644 index 000000000..bb733516a --- /dev/null +++ b/doc/bugs/should_be_possible_to_use_ssh_hosts_from_.ssh__47__config.mdwn @@ -0,0 +1,11 @@ +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 + # 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. + +Is it possible to use this predefined host, or add the possibility to configure git-annex like above? |