From a139dd2b59e05b9e159d9f3f6fbc232d505256a6 Mon Sep 17 00:00:00 2001
From: Matthias Haag <maha@if-sat.de>
Date: Wed, 22 Nov 2017 11:09:51 +0100
Subject: [PATCH] use basename for setting hostname

---
 plugins/guests/suse/cap/change_host_name.rb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/plugins/guests/suse/cap/change_host_name.rb b/plugins/guests/suse/cap/change_host_name.rb
index c168885f3..8371f6fff 100644
--- a/plugins/guests/suse/cap/change_host_name.rb
+++ b/plugins/guests/suse/cap/change_host_name.rb
@@ -8,8 +8,8 @@ module VagrantPlugins
           if !comm.test("hostname -f | grep '^#{name}$'", sudo: false)
             basename = name.split(".", 2)[0]
             comm.sudo <<-EOH.gsub(/^ {14}/, '')
-              echo '#{name}' > /etc/HOSTNAME
-              hostname '#{name}'
+              echo '#{basename}' > /etc/HOSTNAME
+              hostname '#{basename}'
 
               # Prepend ourselves to /etc/hosts
               grep -w '#{name}' /etc/hosts || {