From 87d2b7fec8c14706d23f64045f2f23332a0b2018 Mon Sep 17 00:00:00 2001 From: Seth Vargo Date: Wed, 22 Jun 2016 18:32:33 -0700 Subject: [PATCH] guests/debian: Set hostname to short value Refs GH-7488 --- plugins/guests/debian/cap/change_host_name.rb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/plugins/guests/debian/cap/change_host_name.rb b/plugins/guests/debian/cap/change_host_name.rb index a80d05516..fa17ae2b0 100644 --- a/plugins/guests/debian/cap/change_host_name.rb +++ b/plugins/guests/debian/cap/change_host_name.rb @@ -9,11 +9,11 @@ module VagrantPlugins def self.change_host_name(machine, name) comm = machine.communicate - if !comm.test("hostname -f | grep -w '#{name}'") + if !comm.test("hostname -f | grep '^#{name}$'") basename = name.split(".", 2)[0] comm.sudo <<-EOH.gsub(/^ {14}/, '') # Set the hostname - echo '#{name}' > /etc/hostname + echo '#{basename}' > /etc/hostname hostname -F /etc/hostname # Remove comments and blank lines from /etc/hosts