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-boottools-vbox | |
parent | 560358b544ca716b2ce3c6e2c3602d16264d2644 (diff) |
#914: Adapting all scripts to use the `master` branch.
Diffstat (limited to 'installer/vagrant/Vagrantfile-boottools-vbox')
-rw-r--r-- | installer/vagrant/Vagrantfile-boottools-vbox | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/installer/vagrant/Vagrantfile-boottools-vbox b/installer/vagrant/Vagrantfile-boottools-vbox index 14306402..82cae850 100644 --- a/installer/vagrant/Vagrantfile-boottools-vbox +++ b/installer/vagrant/Vagrantfile-boottools-vbox @@ -24,7 +24,8 @@ apt-get install -y jq subversion syslinux syslinux-efi syslinux-utils groupadd opengnsys mkdir -p /opt/opengnsys/client /tmp/opengnsys_installer/opengnsys ln -fs /var/lib/tftpboot /opt/opengnsys -svn export https://github.com/opengnsys/OpenGnsys/branches/devel/client /tmp/opengnsys_installer/opengnsys/client +BRANCH="master" +svn export https://github.com/opengnsys/OpenGnsys/branches/$BRANCH/client /tmp/opengnsys_installer/opengnsys/client echo "Connect to this VM, launch boot-tools generation script and follow instructions:" echo " sudo /tmp/opengnsys_installer/opengnsys/client/boot-tools/boottoolsgenerator.sh" echo "Warning: this process may take a long time." |