Merge branch 'master' into admin-login

2019-03-10 09:51:12 +01:00
parent de320771e0 9879ad9f73
commit 216451ed43
20 changed files with 111 additions and 98 deletions
--- a/update.sh
+++ b/update.sh
@@ -6,9 +6,12 @@ if [ "$(id -u)" -ne "0" ]; then
  exit 1
 fi

-#exit on error and pipefail
+# Exit on error and pipefail
 set -o pipefail

+# Add /opt/bin to PATH
+PATH=$PATH:/opt/bin
+
 umask 0022

 for bin in curl docker-compose docker git awk sha1sum; do