diff options
| author |  Joey Hess <id@joeyh.name> | 2014-12-01 17:53:36 -0400 |
|---|---|---|
| committer | Joey Hess <id@joeyh.name> | 2014-12-01 17:53:36 -0400 |
| commit | 98e1fb80d543ad98a531bb91637659ba9d895719 (patch) | |
| tree | 314385953295ed1705389efeaa5ff856433d7f06 /doc/bugs/proxy_command_fails_on_Windows | |
| parent | 1166ca92430450912f355c457f7dd118295abdc2 (diff) | |
comment & close, user error
Diffstat (limited to 'doc/bugs/proxy_command_fails_on_Windows')
| -rw-r--r-- | doc/bugs/proxy_command_fails_on_Windows/comment_1_a6d85bd65cd4df957ed108b2966584ef._comment | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/bugs/proxy_command_fails_on_Windows/comment_1_a6d85bd65cd4df957ed108b2966584ef._comment b/doc/bugs/proxy_command_fails_on_Windows/comment_1_a6d85bd65cd4df957ed108b2966584ef._comment new file mode 100644 index 000000000..0eaf88fa3 --- /dev/null +++ b/doc/bugs/proxy_command_fails_on_Windows/comment_1_a6d85bd65cd4df957ed108b2966584ef._comment @@ -0,0 +1,13 @@ +[[!comment format=mdwn + username="joey" + subject="""comment 1""" + date="2014-12-01T21:51:40Z" + content=""" +If you want to run "git pull" using the proxy, you need to use: + +git annex proxy -- git pull + +Like it says on the man page. Instead you told it to run a command named +"pull", which would work if you had a program by that name, but you don't. +:) +"""]] |