Fix vagrant install using bash (#1029)

2018-03-21 12:56:16 +01:00
parent 9f8d340d42
commit 159bfa291a
3 changed files with 5 additions and 4 deletions
@@ -1,7 +1,8 @@
-#!/bin/sh
+#!/bin/bash
+set -euo pipefail

 # set version of vagrant to use :
-vagrantversion=2.0.2
+vagrantversion=2.0.3

 mkdir -p $HOME/vagrant
 pushd $HOME/vagrant > /dev/null