Changeset 5867 in josm

Timestamp:

2013-04-15T17:46:08+02:00 (12 years ago)

Author:

stoecker

Message:

nicer linux os string for some distros

File:

• trunk/src/org/openstreetmap/josm/tools/PlatformHookUnixoid.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/tools/PlatformHookUnixoid.java

@@ -97 +97 @@
                 if (line != null && !line.isEmpty()) {
                     line = line.replaceAll("\"+","");
-                    if(!line.isEmpty())
+                    if(line.startsWith("Linux ")) // e.g. Linux Mint
+                        return line;
+                    else if(!line.isEmpty())
                         return "Linux " + line;
                 }