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

Browse source
This commit is contained in:
gregor 2014-12-02 17:13:55 +00:00 committed by admin
parent 6b6abfd9fd
commit e201d00d85
1 changed files with 13 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -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?