Allow developer tools installation to be skipped

src/freedombone

@@ -6476,6 +6476,9 @@ function install_gogs {
   if grep -Fxq "install_gogs" $COMPLETION_FILE; then
       return
   fi
+  if [ ! $GIT_DOMAIN_NAME ]; then
+      return
+  fi
   # http://gogs.io/docs/installation/install_from_source.md
 
   # install Go

src/freedombone-config

@@ -888,14 +888,14 @@ function interactive_configuration {
           if [[ $DDNS_PROVIDER == "default@freedns.afraid.org" ]]; then
               dialog --backtitle "Freedombone Configuration" \
                      --title "Developer Configuration" \
-                     --form "\nPlease enter your Git hosting site details:" 11 55 3 \
+                     --form "\nPlease enter your Git hosting site details.\nIf You don't need developer tools then just select Ok" 11 55 3 \
                      "Domain:" 1 1 "$(grep 'GIT_DOMAIN_NAME' temp.cfg | awk -F '=' '{print $2}')" 1 16 25 40 \
                      "Code:" 2 1 "$(grep 'GIT_CODE' temp.cfg | awk -F '=' '{print $2}')" 2 16 25 40 \
                      2> $data
           else
               dialog --backtitle "Freedombone Configuration" \
                      --title "Developer Configuration" \
-                     --form "\nPlease enter your Git hosting site details:" 11 55 2 \
+                     --form "\nPlease enter your Git hosting site details.\nIf You don't need developer tools then just select Ok" 11 55 2 \
                      "Domain:" 1 1 "$(grep 'GIT_DOMAIN_NAME' temp.cfg | awk -F '=' '{print $2}')" 1 16 25 40 \
                      2> $data
           fi
@@ -920,6 +920,8 @@ function interactive_configuration {
                       fi
                   fi
               fi
+          else
+              DEVELOPER_DETAILS_COMPLETE="yes"
           fi
           if [ $GIT_DOMAIN_NAME ]; then
               DEVELOPER_DETAILS_COMPLETE="yes"