diff options
| author |  https://www.google.com/accounts/o8/id?id=AItOawm7AuSfii_tCkLyspL6Mr0ATlO6OxLNYOo <Georg@web> | 2014-01-30 10:52:11 +0000 |
|---|---|---|
| committer |  admin <admin@branchable.com> | 2014-01-30 10:52:11 +0000 |
| commit | 8b18f8c1e57c6852ef57a2e8d28f10ec369e7253 (patch) | |
| tree | b45013bdce1495f5ee42a982853de1500a2be267 /doc/devblog/day_104__unused_II | |
| parent | 90ccd50ff81ac23a5d1ce5163b0662d70e7c73b9 (diff) | |
Added a comment
Diffstat (limited to 'doc/devblog/day_104__unused_II')
| -rw-r--r-- | doc/devblog/day_104__unused_II/comment_6_0ed4023c9c249024fe0454fc5bab3b14._comment | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/devblog/day_104__unused_II/comment_6_0ed4023c9c249024fe0454fc5bab3b14._comment b/doc/devblog/day_104__unused_II/comment_6_0ed4023c9c249024fe0454fc5bab3b14._comment new file mode 100644 index 000000000..d900dc511 --- /dev/null +++ b/doc/devblog/day_104__unused_II/comment_6_0ed4023c9c249024fe0454fc5bab3b14._comment @@ -0,0 +1,10 @@ +[[!comment format=mdwn + username="https://www.google.com/accounts/o8/id?id=AItOawm7AuSfii_tCkLyspL6Mr0ATlO6OxLNYOo" + nickname="Georg" + subject="comment 6" + date="2014-01-30T10:52:09Z" + content=""" +Well, according to the hackage documentation of http conduit it seems it at least supports proxies when youre code gives it the proxy host and port. + +But the link about the problem with environment settings helped me to get around my immediate problem by just running annex from the git bash (which is prefereably to me most of the time anyway). So I could set up my annex on my work machine and just tunnel out with ProxyCommand via our ssh gateway. Yay! +"""]] |