Fix small issues

distribution/ubuntu/install.sh

@@ -207,6 +207,11 @@ extra_init() {
   fi
 }
 
-extra_finish() {
-  echo -ne ""
+disable_unwanted_extensions() {
+    # Disable default Ubuntu gnome extensions
+    sudo -u ${USERNAME} gnome-extensions disable ding@rastersoft.com # Desktop Icons
+}
+
+extra_finish() {
+  disable_unwanted_extensions
 }