Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow --mirror=file://... by using curl instead of wget #504

Open
wants to merge 1 commit into
base: master
Choose a base branch
from

Conversation

afrantisak
Copy link

If we use curl instead of wget we can then use the file:// protocol in the --mirror argument to use a local cache directly.

@afrantisak afrantisak closed this Nov 11, 2015
@afrantisak afrantisak reopened this Nov 11, 2015
@afrantisak afrantisak changed the title switch to curl Allow --mirror=file://... by using curl instead of wget Nov 11, 2015
@tombujok
Copy link
Contributor

AFAIK, curl does not work with corporate NTLM proxies.

@afrantisak
Copy link
Author

Would love to test this behind our corporate proxy but can't seem to build. Under both cygwin(babun) and windows command prompt I get:

Caught: java.io.IOException: Cannot run program "groovy" (in directory "D:\babun-mirror\.babun\cygwin\home\username\babun\babun-packages"): CreateProcess error=2, The system cannot find the file specified
java.io.IOException: Cannot run program "groovy" (in directory "D:\babun-mirror\.babun\cygwin\home\username\babun\babun-packages"): CreateProcess error=2, The system cannot find the file specified

Groovy is installed in both cygwin(babun) and Windows:

{ ~ }  » groovy --version                                                                                                      ~
Groovy Version: 2.4.5 JVM: 1.7.0_79 Vendor: Oracle Corporation OS: Windows 8
D:\temp\babun\babun-packages>groovy --version
Groovy Version: 2.3.6 JVM: 1.7.0_79 Vendor: Oracle Corporation OS: Windows 8

Also can you point me at the jenkins build, maybe I can see how it does it. Thanks.

@afrantisak afrantisak changed the title Allow --mirror=file://... by using curl instead of wget Allow --mirror=file://... by using curl instead of wget Nov 19, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants