4 ms·
"To obtain our image dataset, you can run the following download script. On Windows, you'll need to modify the script so it doesn't depend on the curl and unzip
by _Microft 6y ago
"To obtain our image dataset, you can run the following download script. On Windows, you'll need to modify the script so it doesn't depend on the curl and unzip command-line utilities.",
Windows 10 has "curl" support out of the box since update 1803.
- 1f60c 6y ago> Windows 10 has "curl" support out of the box since update 1803. Huh, TIL. (At first I thought that maybe Microsoft had just done something like Set-Alias -Name curl -Value Invoke-WebRequest but no, it’s the real deal[0].) [0]: https://devblogs.microsoft.com/commandline/windows10v1803/ https://devblogs.microsoft.com/commandline/windows10v1803/
- mikeroberts3000 6y agoWow awesome! If Windows also has unzip, I can simplify the instructions! Thank you for pointing this out :D
- _Microft 6y agoYou're welcome! I should have filed that as issue on Github in addition to commenting here. Windows does not have unzip but I think you can uncompress files from the Windows command line via a detour to powershell: powershell "expand-archive file.zip -d <path/to/destination...>" I just checked, this works fine here.