tweak curl / wget options for better feedback (particularly on error) #55

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

Frenzie merged 1 commit into koreader:master from benoit-pierre:pr/downloads_feedback

May 10, 2025

Member

benoit-pierre commented May 10, 2025 •

edited by Frenzie

Loading

This change is


          tweak curl / wget options for better feedback (particularly on error)

eb7a284

Member Author

benoit-pierre commented May 10, 2025

Of course now that I've added that, downloads from git.savannah.gnu.org all complete without issues…

Frenzie merged commit a0f009e into koreader:master

14 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet