Fix deleting old files if they exist

Rmdir crashes when it needs to delete just one file, annoyingly.

Contributes to issue CURA-9409.

1 files changed, 2 insertions, 1 deletions

diff --git a/packaging/create_appimage.py b/packaging/create_appimage.py
index e2de703dc4..6ae0c64aa5 100644
--- a/packaging/create_appimage.py
+++ b/packaging/create_appimage.py
@@ -17,7 +17,7 @@ def build_appimage():
     copy_metadata_files()
 
     try:
-        shutil.rmtree(os.path.join(dist_path, appimage_filename))  # Ensure any old file is removed, if it exists.
+        os.remove(os.path.join(dist_path, appimage_filename))  # Ensure any old file is removed, if it exists.
     except FileNotFoundError:
         pass  # If it didn't exist, that's even better.
 
@@ -38,6 +38,7 @@ def copy_metadata_files():
 
     packaging_dir = os.path.dirname(__file__)
     for source, dest in copied_files.items():
+        print("Copying", os.path.join(packaging_dir, source), "to", os.path.join(dist_path, dest))
         shutil.copyfile(os.path.join(packaging_dir, source), os.path.join(dist_path, dest))
 
     # Ensure that AppRun has the proper permissions: 755 (user reads, writes and executes, group reads and executes, world reads and executes).