diff options
| author | Valentin Cocaud <v.cocaud@gmail.com> | 2019-01-09 10:24:23 +0100 |
|---|---|---|
| committer | K. S. Ernest (iFire) Lee <ernest.lee@chibifire.com> | 2024-11-08 14:23:41 -0800 |
| commit | c09731c4137a28f2d3ba954a11e83fdc7b535ba8 (patch) | |
| tree | a08d9bf238753e487b861716085a72f8c9fb4fd1 /misc/scripts/compare_extension_api.py | |
| parent | 87318a2fb7fffeb72adca934e31915be077c3d1f (diff) | |
| download | redot-engine-c09731c4137a28f2d3ba954a11e83fdc7b535ba8.tar.gz | |
Warn on filesystem case mismatch
When a file is opened with a wrong case, it can work on the developer system but break on a user system with a case-sensitive filesystem.
This will display a warning when it happens.
CAVEATS: It will also display the warning if a symlink is in the path.
Adapt warning if the file is a symlink. Avoid warning on symlinks.
Fix memory leak and avoid `lstat` usage.
Avoid exposing real_path when not in TOOLS_ENABLED mode.
Diffstat (limited to 'misc/scripts/compare_extension_api.py')
0 files changed, 0 insertions, 0 deletions