From 403c2c180ad9a82b45ade4a851525cbf58b0c83a Mon Sep 17 00:00:00 2001
From: John-Paul Robinson <jpr@uab.edu>
Date: Fri, 1 Feb 2019 09:08:15 -0600
Subject: [PATCH] Add placeholder for selecting centos vagrant box versions
---
Vagrantfile | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/Vagrantfile b/Vagrantfile
index f69fe33..8406800 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -8,6 +8,10 @@ Vagrant.configure("2") do |config|
config.vm.define "ohpc" do |ohpc|
ohpc.vm.box = "centos/7"
+ # version placeholder for selecting specific vagrant boxes
+ # used mainly for debugging and sanity checking
+ # leave commented to use the latest version in the local cache
+ #ood.vm.box_version = "1804.02"
ohpc.vm.hostname = "ohpc"
ohpc.vm.network "private_network", ip: "10.1.1.1", virtualbox__intnet: "compute"
#ohpc.vm.customize ["modifyvm", :id, "--name", "ohpc"]
@@ -15,6 +19,10 @@ Vagrant.configure("2") do |config|
config.vm.define "ood" do |ood|
ood.vm.box = "centos/7"
+ # version placeholder for selecting specific vagrant boxes
+ # used mainly for debugging and sanity checking
+ # leave commented to use the latest version in the local cache
+ #ood.vm.box_version = "1804.02"
ood.vm.hostname = "ood"
ood.vm.network "private_network", ip: "10.1.1.254", virtualbox__intnet: "compute"
ood.vm.network "forwarded_port", guest: 80, host: 8080,
--
GitLab