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

Browse source
This commit is contained in:
https://www.google.com/accounts/o8/id?id=AItOawkxl76M-3zKZXFbFf6NY6c6y-78CSKGyJw 2013-07-06 06:07:37 +00:00 • committed by admin
parent b7cdf13608
commit fd7c88947e
1 changed files with 12 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
doc/bugs/On_Windows__44___wget_is_not_used__44___even_if_available.mdwn Normal file
View file

@ -0,0 +1,12 @@
### Please describe the problem.
On Windows, with a remote repository configured for HTTP access, wget is never used, even if it's available in the system. curl is always used.
### What steps will reproduce the problem?
1. Set up an annex on a remote system, configure it for HTTP access, run an HTTP server.
2. over HTTP, clone it to Windows
3. "annex get -vd <file>"
4. note that curl is used.
### What version of git-annex are you using? On what operating system?
Windows 7: 4.20140627-g8a36ec5 (from the git-annex download page)