pkgs/tools/admin/pgadmin/check-system-config-dir.patch

   1 --- a/web/pgadmin/evaluate_config.py      2023-04-11 17:36:46.000000000 +0200
   2 +++ b/web/pgadmin/evaluate_config.py    2023-04-14 09:54:33.496434314 +0200
   3 @@ -76,6 +76,12 @@
   4          custom_config_settings.update(config_system_settings)
   5      except ImportError:
   6          pass
   7 +    except PermissionError:
   8 +        print(f"Permission denied to open {str(system_config_dir + '/config_system.py')}. \n \
   9 +              If you are running pgadmin4-desktopmode please make sure you disable  \n \
  10 +              the pgadmin NixOS module first. If you rely on settings in \n \
  11 +              {str(system_config_dir + '/config_system.py')}, please check the correct permissions.")
  12 +        pass
  13
  14
  15  def evaluate_and_patch_config(config: dict) -> dict: