colobot-data
colobot-data copied to clipboard
Use curl if wget is not available
Fall back on curl
if wget
is not available to download music files.
curl -z FILENAME -O
is effectively similar to wget -N
except that it prints three warnings if the file doesn't exist. I can't find a clean way to silence these warnings without also eliminating the download progress output.
Hey! This pull request targets the master
branch. You should probably target dev
instead. Make sure to read the contributing guidelines and edit the target branch if necessary.
Sorry about the wrong branch target. I'll try to get that fixed.
Sorry about the wrong branch target. I'll try to get that fixed.
Any news?