From f4d0e740c024134af7a468282f47acd4175b0d0e Mon Sep 17 00:00:00 2001
From: "Bernhard F.W. Gschaider" <bgschaid@ice-sf.at>
Date: Sun, 1 Jun 2014 09:30:02 +0200
Subject: [PATCH] Vagrant objected to the underscore in the hostname

---
 vagrantSandbox/Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vagrantSandbox/Vagrantfile b/vagrantSandbox/Vagrantfile
index 43827dc9d..17d6d9b0e 100644
--- a/vagrantSandbox/Vagrantfile
+++ b/vagrantSandbox/Vagrantfile
@@ -4,7 +4,7 @@
 Vagrant.configure("2") do |config|
   config.vm.synced_folder "..", "/FOAM-sources"
 
-  config.vm.hostname="vagrant_"+ (ENV["HOSTNAME"] || `hostname`.strip)
+  config.vm.hostname="vagrant"+ (ENV["HOSTNAME"] || `hostname`.strip)
 
   nrCPU=1
   if ENV["WM_VAGRANT_CPUS"]