From 3e6872c0fd97dd5463d07315548187ad16a1eda1 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Lo=C3=AFc=20CORBASSON?= Date: Wed, 1 Nov 2023 13:43:18 +0100 Subject: [PATCH] Don't change user-defined desktop files for Waydroid when they're set as read-only --- tools/services/user_manager.py | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/tools/services/user_manager.py b/tools/services/user_manager.py index 92ee203..83a50cc 100644 --- a/tools/services/user_manager.py +++ b/tools/services/user_manager.py @@ -49,10 +49,14 @@ Icon={waydroid_data}/icons/com.android.settings.png def makeWaydroidDesktopFile(hide): desktop_file_path = apps_dir + "/Waydroid.desktop" - if os.path.isfile(desktop_file_path): - os.remove(desktop_file_path) - with open(desktop_file_path, "w") as desktop_file: - desktop_file.write(f"""\ + # If the user has set the desktop file as read-only, we won't replace it + if not os.access(desktop_file_path, os.W_OK): + logging.info(f"Desktop file '{desktop_file_path}' is not writeable, not updating it") + else: + if os.path.isfile(desktop_file_path): + os.remove(desktop_file_path) + with open(desktop_file_path, "w") as desktop_file: + desktop_file.write(f"""\ [Desktop Entry] Type=Application Name=Waydroid -- 2.47.3