diff options
| author |  gregor <gregor@web> | 2014-12-02 17:13:55 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2014-12-02 17:13:55 +0000 |
| commit | ffa473bcfeae0091b870028aa429b529c4cc2952 (patch) | |
| tree | 796e7b0ba5d181b783183f4879d42882565233c1 /doc/bugs/should_be_possible_to_use_ssh_hosts_from_.ssh__47__config.mdwn | |
| parent | 99c705f8af329f566d234d1cf628168c6907ce82 (diff) | |
Diffstat (limited to 'doc/bugs/should_be_possible_to_use_ssh_hosts_from_.ssh__47__config.mdwn')
| -rw-r--r-- | doc/bugs/should_be_possible_to_use_ssh_hosts_from_.ssh__47__config.mdwn | 13 |
1 files changed, 13 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 index bb733516a..bb1422370 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 @@ -1,3 +1,5 @@ +### Please describe the problem. + I am using a ssh-host configured in .ssh/config in a corporate-environment like this: Host home @@ -8,4 +10,15 @@ Host home 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. +### What steps will reproduce the problem? + +Add a remote host that is only reachable through a proxy. + +### What version of git-annex are you using? On what operating system? + +gentoo +git-annex-5.20141125 {android androidsplice +assistant +cryptohash +dbus +desktop-notify +dns doc ekg +feed +inotify +pairing +production +quvi +s3 +tahoe +tdfa +testsuite +webapp +webapp-secure +webdav +xmpp} + + + Is it possible to use this predefined host, or add the possibility to configure git-annex like above? |