Fix: changing case of object name

rossumai · Aug 14, 2024 · 3e748c2 · 3e748c2
1 parent b8753a7
commit 3e748c2
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -7,4 +7,5 @@ dist
 
 dummy_project
 temp_project
-.vscode
+.vscode
+**/.DS_Store
diff --git a/project_rossum_deploy/commands/download/helpers.py b/project_rossum_deploy/commands/download/helpers.py
@@ -192,7 +192,11 @@ async def remove_local_nonexistent_object(
         )
         cleaned_name, _ = detemplatize_name_id(path_from_remote)
         # Inboxes are in the queue folder, but can have a different name than their queue
-        if cleaned_name != previous_name and object_type != Resource.Inbox:
+        # The names are lowercased because some OS's (mainly MacOS) are case-insensitive in their paths
+        if (
+            cleaned_name.casefold() != previous_name.casefold()
+            and object_type != Resource.Inbox
+        ):
             raise DifferentNameException
 
         # Workspace name might have changed, remove queue and inbox files inside