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

Fix fatal error if read fails when compressing #297

Merged
merged 6 commits into from
Oct 16, 2022
Merged

Fix fatal error if read fails when compressing #297

merged 6 commits into from
Oct 16, 2022

Commits on Oct 16, 2022

  1. improve documentation of compress_files

    @marcospb19
    marcospb19 committed Oct 16, 2022
    Configuration menu
    Copy the full SHA
    f5fc7bd View commit details
    Browse the repository at this point in the history

  2. create remove_file_or_dir util

    @marcospb19
    marcospb19 committed Oct 16, 2022
    Configuration menu
    Copy the full SHA
    4d2ccf4 View commit details
    Browse the repository at this point in the history

  3. fix fatal error if read fails when compressing

    @marcospb19
    marcospb19 committed Oct 16, 2022
    Configuration menu
    Copy the full SHA
    2da497c View commit details
    Browse the repository at this point in the history

  4. improve fatal error message

    @marcospb19
    marcospb19 committed Oct 16, 2022
    Configuration menu
    Copy the full SHA
    70bdfc4 View commit details
    Browse the repository at this point in the history

  5. fix clippy warnings

    @marcospb19
    marcospb19 committed Oct 16, 2022
    Configuration menu
    Copy the full SHA
    6e6796b View commit details
    Browse the repository at this point in the history

  6. use remove_file_or_dir to remove dir check

    @marcospb19
    marcospb19 committed Oct 16, 2022
    Configuration menu
    Copy the full SHA
    9f7cba7 View commit details
    Browse the repository at this point in the history