summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar gregor <gregor@web>2014-12-02 17:16:15 +0000
committerGravatar admin <admin@branchable.com>2014-12-02 17:16:15 +0000
commit0c6cd0dd567f01276acf1cb0d90883b28418051b (patch)
tree13d0ca98758398c17d12dcc1606a2a819786db26
parentb4672dbd6ea4fc15465ab20b4c20d8121b9d3917 (diff)
-rw-r--r--doc/bugs/should_be_possible_to_use_ssh_hosts_from_.ssh__47__config.mdwn10
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.