From 3181cd16ddc0c8bf65296145caae944a47bdd0ab Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= <joerg@higgsboson.tk>
Date: Sun, 16 Mar 2014 06:39:37 +0100
Subject: [PATCH] Vagrantfile: add ssh port enumbering

---
 Vagrantfile | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/Vagrantfile b/Vagrantfile
index fc21377..5fed0dd 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -21,7 +21,7 @@ boxes = [
     require "vagrant-#{plugin}"
   rescue LoadError
     puts "#{plugin} plugin not installed!"
-   puts "run:"
+    puts "run:"
     puts "\tvagrant plugin install vagrant-#{plugin}"
     exit(1)
   end
@@ -32,7 +32,6 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
   config.vbguest.auto_reboot = true
 
   config.vm.provision(:shell){ |shell| shell.path = "script/fix_stdin_error.sh" }
-  #ssh_port = 2222
   boxes.each do |box|
     config.vm.define box[:name] do |node|
       node.vm.provider :virtualbox do |vb|
@@ -50,12 +49,6 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
                       "--macaddress2", box[:mac]]
       end
 
-      #node.vm.network :forwarded_port,
-      #  guest: 22,
-      #  host: ssh_port,
-      #  id: "ssh",
-      #  auto_correct: true
-      #ssh_port += 1
       config.ssh.shell = "bash -c 'BASH_ENV=/etc/profile exec bash'"
       node.vm.hostname = box[:name]