[FORUM 1142] add KDE Neon and Tuxedo OS to the list of Ubuntu platforms

diff --git a/src/internal_config/distrib.pyconf b/src/internal_config/distrib.pyconf
index c0544b596444168f15f4a5f98d4c599bbc137d1d..67f119ae2fa03b3a2747bbd7816416a90dc0831b 100644 (file)
--- a/src/internal_config/distrib.pyconf
+++ b/src/internal_config/distrib.pyconf
@@ -16,6 +16,8 @@ DISTRIBUTIONS :
   "redhat": "CO"
   "red hat": "CO"
   "ubuntu": "UB"
+  "kde neon" :  "UB"
+  "tuxedo os" : "UB"
   "opensuse":"OS"
   "Windows" : "W"
 }