Skip to content
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

Download check for cache directory #559

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Download check for cache directory #559

wants to merge 1 commit into from

Commits on May 3, 2024

  1. Download check for cache directory 

    Add a marker .download file to validate the contents in cache directories.
Previously only the existence of the directory was used, so if the
download was aborted the cache directory had to be deleted manually if
this occurred (with a likely cryptic error message).
If the .download check file does not exist, the directory will be deleted
and downloaded again.

It is also possible to check the contents with a checksum.
If not matching, the directory will be deleted and downloaded again.

For Git repos the repos can be deleted if the status is not clean,
a checksum is not relevant (but used in the tests).
    @gerhardol
    gerhardol committed May 3, 2024
    Configuration menu
    Copy the full SHA
    ed695ff View commit details
    Browse the repository at this point in the history