plugins/guests/debian/cap/change_host_name.rb in vagrant-unbundled-1.8.5.2 vs plugins/guests/debian/cap/change_host_name.rb in vagrant-unbundled-1.9.1.1
- old
+ new
@@ -6,12 +6,9 @@
comm = machine.communicate
if !comm.test("hostname -f | grep '^#{name}$'", sudo: false)
basename = name.split(".", 2)[0]
comm.sudo <<-EOH.gsub(/^ {14}/, '')
- # Ensure exit on command error
- set -e
-
# Set the hostname
echo '#{basename}' > /etc/hostname
hostname -F /etc/hostname
if command -v hostnamectl; then