From 76759c312741204bf03c1515f5a552c6968eb39c Mon Sep 17 00:00:00 2001 From: "g.j.c.strikwerda@rug.nl" Date: Fri, 2 Nov 2018 11:27:46 +0100 Subject: [PATCH] Vagrant centos7 --- Vagrantfile.centos7 | 110 ++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 110 insertions(+) create mode 100644 Vagrantfile.centos7 diff --git a/Vagrantfile.centos7 b/Vagrantfile.centos7 new file mode 100644 index 0000000..29297d6 --- /dev/null +++ b/Vagrantfile.centos7 @@ -0,0 +1,110 @@ +# coding: utf-8 +# copyright Utrecht University +# -*- mode: ruby -*- +# vi: set ft=ruby : + +# GS: run script after install: +$post_script = <