diff options
author | Ramón M. Gómez <ramongomez@us.es> | 2018-06-12 15:25:43 +0200 |
---|---|---|
committer | Ramón M. Gómez <ramongomez@us.es> | 2018-06-12 15:25:43 +0200 |
commit | bf4b65c18d8d8a2eb156883863c2de8814718e9a (patch) | |
tree | 6e3d816c420a20ae9d5b71d862a741ba298b8d47 /installer/vagrant/Vagrantfile-devel-vbox | |
parent | 9815cac93139ec0a4a155934819a887b6436081a (diff) |
#843: Web interface uses new version file and correcting some errata.
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 4d41afd0..00d7dab6 100644 --- a/installer/vagrant/Vagrantfile-devel-vbox +++ b/installer/vagrant/Vagrantfile-devel-vbox @@ -25,7 +25,7 @@ LOCALWEBPORT = 8443 # OpenGnsys Server provisioning script: prepare repo disk, install OpenGnsys, change default interface, configure DHCP server. OGSERVERSCRIPT = <<EOT # Exit if OpenGnsys is installed. -[ -f /opt/opengnsys/doc/VERSION.txt ] && echo "Cannot provision, OpenGnsys is already installed." && exit 1 +[ -f /opt/opengnsys/doc/VERSION.json ] && echo "Cannot provision, OpenGnsys is already installed." && exit 1 # Create repository disk using LVM, if necesary. if [ -z "$(blkid /dev/mapper/og-images | grep ext4)" ]; then pvcreate /dev/sdb |