diff --git a/INSTALL/tool/distro_gui_type.json b/INSTALL/tool/distro_gui_type.json index cbfbc2f3..f400fa95 100644 --- a/INSTALL/tool/distro_gui_type.json +++ b/INSTALL/tool/distro_gui_type.json @@ -19,5 +19,34 @@ "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" } + ]