Allow hotplug on deb/ubuntu change host name [GH-1929]

CHANGELOG.md

@@ -3,6 +3,8 @@
 BUG FIXES:
 
   - Fix uninitialized constant error when configuring Arch Linux network. [GH-1734]
+  - Debian/Ubuntu change hostname works properly if eth0 is configured
+    with hot-plugging. [GH-1929]
 
 ## 1.2.4 (July 16, 2013)
 

plugins/guests/debian/cap/change_host_name.rb

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

plugins/guests/ubuntu/cap/change_host_name.rb

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