FEATURE: ensure pups runs a specific version (#534)

Previously we used a "floating" head branch. This makes it impossible to make
any breaking changes in pups.

diff --git a/launcher b/launcher
index 173a1d62c4f80f365a8c2b1ab327e61e8776d54b..0b5a4124e0cf80393720b81e82f785a38d1091d4 100755 (executable)
--- a/launcher
+++ b/launcher
@@ -82,6 +82,7 @@ fi
 
 cd "$(dirname "$0")"
 
+pups_version='v1.0.3'
 docker_min_version='17.03.1'
 docker_rec_version='17.06.2'
 git_min_version='1.8.0'
@@ -653,7 +654,7 @@ run_bootstrap() {
 
   run_command="cd /pups &&"
   if [[ ! "false" =  $update_pups ]]; then
-    run_command="$run_command git pull &&"
+    run_command="$run_command git pull && git checkout $pups_version &&"
   fi
   run_command="$run_command /pups/bin/pups --stdin"