search

colobot / colobot-data

Data files source for open-source Colobot: Gold Edition project developed by Epsitec and TerranovaTeam
http://colobot.info/
GNU General Public License v3.0
53 stars 46 forks source link

Use curl if wget is not available #90

Open sparr opened 8 months ago

sparr commented 8 months ago

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.

github-actions[bot] commented 8 months ago

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.

sparr commented 8 months ago

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

AndreiCherniaev commented 7 months ago

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

Any news?