Update Linux GUI type condition

diff --git a/INSTALL/tool/distro_gui_type.json b/INSTALL/tool/distro_gui_type.json
index cbfbc2f332d9cea28e84ebfe8e6b656c69d3bbe7..f400fa954f6066c009edba825e80e3d67b8ecb68 100644 (file)
--- a/INSTALL/tool/distro_gui_type.json
+++ b/INSTALL/tool/distro_gui_type.json
@@ -19,5 +19,34 @@
         "condition": "equal",
         "expression": "ukui",
         "gui": "gtk3"
         "condition": "equal",
         "expression": "ukui",
         "gui": "gtk3"

+    },
+    {
+        "type": "env",
+        "name": "DESKTOP_SESSION",
+        "condition": "equal",
+        "expression": "cinnamon",
+        "gui": "gtk3"
+    },
+    {
+        "type": "env",
+        "name": "DESKTOP_SESSION",
+        "condition": "equal",
+        "expression": "gnome",
+        "gui": "gtk3"
+    },
+    {
+        "type": "env",
+        "name": "DESKTOP_SESSION",
+        "condition": "equal",
+        "expression": "plasma",
+        "gui": "qt5"
+    },
+    {
+        "type": "env",
+        "name": "DESKTOP_SESSION",
+        "condition": "equal",
+        "expression": "xfce",
+        "gui": "gtk3"

     }
     }

+    

 ]
 ]