From 8a4edfda1642b6a62760e5fb9e79fb8a4867513e Mon Sep 17 00:00:00 2001
From: Michael Friedrich <Michael.Friedrich@netways.de>
Date: Wed, 16 Oct 2013 01:35:30 +0200
Subject: [PATCH] Vagrant: Set hostname.

fixes #4866
---
 Vagrantfile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Vagrantfile b/Vagrantfile
index 464d86051..e9c2cffa0 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -15,6 +15,10 @@ Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
   # doesn't already exist on the user's system.
   config.vm.box_url = "http://vagrant-boxes.icinga.org/centos-64-x64-vbox4212.box"
 
+  # The hostname the machine should have. Defaults to nil. If nil, Vagrant
+  # won't manage the hostname. If set to a string, the hostname will be set on boot.
+  config.vm.hostname = "icinga2.demo.icinga.org"
+
   # Create a forwarded port mapping which allows access to a specific port
   # within the machine from a port on the host machine. In the example below,
   # accessing "localhost:8080" will access port 80 on the guest machine.