mirror of
https://github.com/ankitects/anki.git
synced 2026-06-10 11:59:23 -04:00
e9830169b7
<!-- Title (for the Pull Request title field at the top): Use a short prefix so the change type is obvious. You do not need to repeat it in the body below. Examples: - fix: — bugfix - feat: — feature - refactor: — internal change without user-facing feature - docs: — documentation only - chore: — tooling, CI, deps, build housekeeping - test: — tests only --> ## Linked issue (required) - #4433 - #4716 ## Summary / motivation (required) This PR modifies `Check Media` to dedupe filenames case-insensitively so as to avoid files that were added on case-sensitive filesystems potentially being overwritten on case-insensitive ones ## Steps to reproduce (required, use N/A if not applicable) N/A ## How to test (required) Given a.jpg (hash 1), A.JPG (hash 2) and a.JPG (hash 1) as existing media files on a case-sensitive fs, see that `Check Media` renames A.JPG to a-2.jpg and a.JPG to a.jpg ### Checklist (minimum) - [x] I ran `./ninja check` or an equivalent relevant check locally. - [ ] I added or updated tests when the change is non-trivial or behavior changed. ## Scope - [x] This PR is focused on one change (no unrelated edits).
Anki's Rust code.