diff options
author | Ramón M. Gómez <ramongomez@us.es> | 2019-11-25 11:22:48 +0100 |
---|---|---|
committer | Ramón M. Gómez <ramongomez@us.es> | 2019-11-25 11:22:48 +0100 |
commit | 08b7e126c277d3eb054e84476fa9e2d3e75bb27d (patch) | |
tree | 83ade6d8d0bd298ef665733670bbe2ba57710bc7 /installer/vagrant/Vagrantfile-devel-vbox | |
parent | 560358b544ca716b2ce3c6e2c3602d16264d2644 (diff) |
#914: Adapting all scripts to use the `master` branch.
Diffstat (limited to 'installer/vagrant/Vagrantfile-devel-vbox')
-rw-r--r-- | installer/vagrant/Vagrantfile-devel-vbox | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/installer/vagrant/Vagrantfile-devel-vbox b/installer/vagrant/Vagrantfile-devel-vbox index c558227a..70bad3ac 100644 --- a/installer/vagrant/Vagrantfile-devel-vbox +++ b/installer/vagrant/Vagrantfile-devel-vbox @@ -43,7 +43,7 @@ if which curl &>/dev/null; then elif which wget &>/dev/null; then DOWNLOAD="wget -q -O -" fi -BRANCH="devel" +BRANCH="master" $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) |