How to download a file into a directory using curl or wget? [closed]
I know this is an old question but it is possible to do what you ask with curl
rm directory/somefile.ziprmdir directorymkdir directorycurl --http1.1 http://example.com/somefile.zip --output directory/somefile.zip
first off if this was scripted you would need to make sure the file if it already exist is deleted then delete the directory then curl the download otherwise curl will fail with a file and directory already exist error.