Fix case sensitive rename on macos

This commit is contained in:
crschnick
2025-09-06 15:24:58 +00:00
parent e0bd8f802c
commit b2a3da40fb
@@ -129,7 +129,8 @@ public final class BrowserFileListModel {
// This check will fail on case-insensitive file systems when changing the case of the file
// So skip it in this case
var skipExistCheck =
fileSystemModel.getFileSystem().getShell().orElseThrow().getOsType() == OsType.WINDOWS
(fileSystemModel.getFileSystem().getShell().orElseThrow().getOsType() == OsType.WINDOWS ||
fileSystemModel.getFileSystem().getShell().orElseThrow().getOsType() == OsType.MACOS)
&& old.getFileName().equalsIgnoreCase(newName);
if (!skipExistCheck) {
boolean exists;