mitchellh/vagrant — pull request #2444 by tmatilai (2013-11-01 00:44:10+00:00)
Title: Fix hostname setting also in Debian, part N

Port #2384 / #2383 for Debian guests.

This should really be DRY'ed up...