haskal
/
vagrant
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Get the deb/ubuntu change host name correct

This commit is contained in:
Mitchell Hashimoto 2013-07-17 13:39:32 -05:00
parent 203594e41a
commit bc7b481dbe
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
plugins/guests/debian/cap/change_host_name.rb
View File

@ -9,7 +9,7 @@ module VagrantPlugins
comm.sudo("sed -i 's/.*$/#{name.split('.')[0]}/' /etc/hostname") comm.sudo("sed -i 's/.*$/#{name.split('.')[0]}/' /etc/hostname")
comm.sudo("hostname -F /etc/hostname") comm.sudo("hostname -F /etc/hostname")
comm.sudo("hostname --fqdn > /etc/mailname") comm.sudo("hostname --fqdn > /etc/mailname")
comm.sudo("ifdown -a; ifup -a --allow=hotplug") comm.sudo("ifdown -a; ifup -a; ifup -a --allow=hotplug")
end end
end end
end end

2
plugins/guests/ubuntu/cap/change_host_name.rb
View File

@ -14,7 +14,7 @@ module VagrantPlugins
comm.sudo("service hostname start") comm.sudo("service hostname start")
end end
comm.sudo("hostname --fqdn > /etc/mailname") comm.sudo("hostname --fqdn > /etc/mailname")
comm.sudo("ifdown -a; ifup -a --allow=hotplug") comm.sudo("ifdown -a; ifup -a; ifup -a --allow=hotplug")
end end
end end
end end