Make a few minor improvements to install script (#194)

* Echo when auto updates not enabled.

It was confusing to echo the header for enabling automatic updates and
then do/print nothing.

* Log that we are running git pull.

This is helpful for anyone who has an ssh-agent that requires PIN /
touch confirmation, to know that the script is blocked on git pull.

* Remove deprecated docker-compose version field.

This silences this warning:

    docker-compose.yml: the attribute `version` is obsolete, it will be ignored, please remove it to avoid potential confusion

* Fix unescaped \ in ascii art.

* Rename run() to logrun().

docker-compose.yml

@@ -1,5 +1,3 @@
-version: '3'
-
 services:
   sublime_mantis:
     image: sublimesec/mantis:1.57

install-and-launch.sh

@@ -80,7 +80,7 @@ if [ -z "$interactive" ]; then
     # ascii art
     # credit: https://patorjk.com/
     # font: Cyberlarge
-    cat <<EOF
+    cat <<'EOF'
 
 ======================================================================
 |   _______ _     _ ______         _____ _______ _______             |
@@ -410,6 +410,8 @@ launch_sublime() {
         else
             echo "Daily update check is already setup"
         fi
+    else
+        echo "Automatic updates not enabled"
     fi
 
     print_info "Launching Sublime Platform..."

update-and-run.sh

@@ -29,7 +29,7 @@ if [ -z "$(git status --porcelain)" ]; then
     echo "git working dir clean. Proceeding with git updates."
 
     old_ref=$(git rev-parse HEAD)
-    git pull
+    logrun git pull
     new_ref=$(git rev-parse HEAD)
 
     if [ "${old_ref}" != "${new_ref}" ]; then

utils.sh

@@ -48,3 +48,8 @@ print_info() {
 print_warning() {
     print_color "\n$1\n" "warning"
 }
+
+logrun() {
+    echo >&2 "+ $*"
+    "$@"
+}