From 9e058e90aa2f0ac0bf9ec6425cd0b4fef9902979 Mon Sep 17 00:00:00 2001 From: nathan Date: Tue, 23 Oct 2018 11:13:25 +0200 Subject: [PATCH] Added comments for ubuntu 17.10 --- src/dorkbox/util/OSUtil.java | 1 + 1 file changed, 1 insertion(+) diff --git a/src/dorkbox/util/OSUtil.java b/src/dorkbox/util/OSUtil.java index 787e893..b1baac0 100644 --- a/src/dorkbox/util/OSUtil.java +++ b/src/dorkbox/util/OSUtil.java @@ -472,6 +472,7 @@ class OSUtil { // BLEH. if gnome-shell is running, IT'S REALLY GNOME! // we must ALWAYS do this check!! + // Ubuntu 17.10 is special ... this is ubuntu:GNOME if (OSUtil.DesktopEnv.isGnome()) { XDG = "gnome"; }