colobot-data icon indicating copy to clipboard operation
colobot-data copied to clipboard

Use curl if wget is not available

Open sparr opened this issue 6 months ago • 3 comments

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.

sparr avatar Jan 03 '24 00:01 sparr

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.

github-actions[bot] avatar Jan 03 '24 00:01 github-actions[bot]

Sorry about the wrong branch target. I'll try to get that fixed.

sparr avatar Jan 03 '24 02:01 sparr

Sorry about the wrong branch target. I'll try to get that fixed.

Any news?

AndreiCherniaev avatar Feb 02 '24 06:02 AndreiCherniaev