diff --git a/app/src/main/java/org/audiveris/omr/Main.java b/app/src/main/java/org/audiveris/omr/Main.java index 9cacb6623..b6ca01072 100644 --- 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( """