From 14aa470da14a79d0038feebfec0fceb1884caeae Mon Sep 17 00:00:00 2001
From: Jan Philipp Timme <jan.philipp@timme.it>
Date: Sat, 26 Jan 2019 19:31:19 +0100
Subject: [PATCH] Give the vagrant box a nice hostname for testing

---
 Vagrantfile | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Vagrantfile b/Vagrantfile
index e0db4d3..a0f97cc 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -7,6 +7,11 @@ Vagrant.configure("2") do |config|
   config.vm.synced_folder "./", "/vagrant", type: "rsync"
 
   config.vm.provision "shell", inline: <<-SHELL
+    # Give that vagrant box an apparently good FQDN
+    echo "local-vagrant.example.com" > /etc/hostname
+    echo "local-vagrant.example.com" > /etc/mailname
+    hostnamectl set-hostname local-vagrant.example.com
+
     # Basic preparations
     apt-get update