Flatpak environment variables

Audiveris · Dec 26, 2024 · fe070e6 · fe070e6
1 parent 17f34a0
commit fe070e6
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/app/src/main/java/org/audiveris/omr/Main.java b/app/src/main/java/org/audiveris/omr/Main.java
@@ -400,6 +400,10 @@ public static void setLocale (Locale locale)
      */
     private static void showEnvironment ()
     {
+        for (String var : new String[] { "FLATPAK_ID", "FLATPAK_REF", "FLATPAK_SANDBOX_DIR",
+                "XDG_SESSION_TYPE" }) {
+            logger.info("{} env: {} prop: {}", var, System.getenv(var), System.getProperty(var));
+        }
         if (constants.showEnvironment.isSet()) {
             logger.info(
                     """