From f3b3daab105a05be33bf8cfd88ffcc9edd5da0fd Mon Sep 17 00:00:00 2001 From: Mykola Grymalyuk Date: Thu, 16 Jun 2022 09:10:00 -0600 Subject: [PATCH] global_settings: Add extra error handling for defaults removal --- resources/global_settings.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/resources/global_settings.py b/resources/global_settings.py index aca867eb4..d19dcb930 100644 --- a/resources/global_settings.py +++ b/resources/global_settings.py @@ -56,4 +56,7 @@ class global_settings: return # delete defaults plist - Path(defaults_path).unlink() \ No newline at end of file + try: + Path(defaults_path).unlink() + except PermissionError: + print("- Permission error: Unable to delete defaults plist") \ No newline at end of file