diff options
| author | Ramón M. Gómez <ramongomez@us.es> | 2019-10-18 11:33:16 +0200 |
|---|---|---|
| committer | Ramón M. Gómez <ramongomez@us.es> | 2019-10-18 11:33:16 +0200 |
| commit | 6c69617d3e9c73dcaf135e28720650dbc1d4c57b (patch) | |
| tree | 18699cc9997611f5bdb8d803293f88a2885f8945 /installer/vagrant/Vagrantfile-prod-vbox | |
| parent | f2029562bb573d9472a7b112eb457bc1552b591d (diff) | |
#914: Update Vagrant labs information.
Diffstat (limited to 'installer/vagrant/Vagrantfile-prod-vbox')
| -rw-r--r-- | installer/vagrant/Vagrantfile-prod-vbox | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/installer/vagrant/Vagrantfile-prod-vbox b/installer/vagrant/Vagrantfile-prod-vbox index 5cfc94d5..21a09be3 100644 --- a/installer/vagrant/Vagrantfile-prod-vbox +++ b/installer/vagrant/Vagrantfile-prod-vbox @@ -43,7 +43,8 @@ if which curl &>/dev/null; then elif which wget &>/dev/null; then DOWNLOAD="wget -q -O -" fi -$DOWNLOAD -s https://raw.githubusercontent.com/opengnsys/OpenGnsys/master/installer/opengnsys_installer.sh | bash || exit $? +BRANCH="opengnsys-1.1.0a" +$DOWNLOAD https://raw.githubusercontent.com/opengnsys/OpenGnsys/$BRANCH/installer/opengnsys_installer.sh | bash || exit $? mv /opt/opengnsys/log/bash.log /opt/opengnsys/log/opengnsys_installer.log echo y | /opt/opengnsys/bin/setserveraddr $(ip -o link show | tail -1 | cut -d: -f2) # Insert DHCP data. |