2 ms·
> This is a great use of a Makefile- notice how the audio file will only be downloaded if it does not already exist. Is there a sane way to extend this out to
by jancsika 7y ago
> This is a great use of a Makefile- notice how the audio file will only be downloaded if it does not already exist.
Is there a sane way to extend this out to check if a directory exists, and if not then download and unzip a file to create that directory?
The problem I always have with make and bash is that, for example, I only ever want two possible states-- the successfully unzipped directory or no state at all. And the more steps I add the more little state boogers my build system acquires (e.g., partial download, dangling zip file, etc.)
- gbuk2013 7y agoAssuming directory “dir” and that “data.zip” archive will create that directory, this target will create the directory dir: wget http://.../data.zip unzip data.zip