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.

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

Check for external file modifications when writing #5805

Merged

Commits on Nov 14, 2022

  1. Protect against overwriting external changes

    When saving, check that the file has not changed before our last known
    save before writing the file. Only overwrite external changes if asked
    to force.
    Gustavo Noronha Silva committed Nov 14, 2022
    Configuration menu
    Copy the full SHA
    a17e53d View commit details
    Browse the repository at this point in the history

Commits on Feb 3, 2023

  1. Configuration menu
    Copy the full SHA
    db1fbcf View commit details
    Browse the repository at this point in the history
  2. Make overwrite protection configurable + small fixes

    Co-authored-by: LeoniePhiline <22329650+LeoniePhiline@users.noreply.github.com>
    Co-authored-by: Pascal Kuthe <pascal.kuthe@semimod.de>
    3 people committed Feb 3, 2023
    Configuration menu
    Copy the full SHA
    0343d92 View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2023

  1. remove config field for overwrite protection

    After discussing it further, it's best to have it done every time, a
    couple options can be explored to reduce false positives in the future.
    divarvel committed Feb 6, 2023
    Configuration menu
    Copy the full SHA
    f64ff10 View commit details
    Browse the repository at this point in the history