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

Debian: Point hostname to 127.0.1.1 in /etc/hosts 

Closes #9403
This commit is contained in:
Hannes Körber 2018-01-26 12:02:17 +01:00 committed by Hannes Körber
parent fa84c58fde
commit 3082ea502e
No known key found for this signature in database
GPG Key ID: 742D9185693F34E6
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -18,7 +18,11 @@ module VagrantPlugins
# Prepend ourselves to /etc/hosts
grep -w '#{name}' /etc/hosts || {
sed -i'' '1i 127.0.0.1\\t#{name}\\t#{basename}' /etc/hosts
if grep -w '^127\\.0\\.1\\.1' /etc/hosts ; then
sed -i'' 's/^127\\.0\\.1\\.1\\s.*$/127.0.1.1\\t#{name}\\t#{basename}/' /etc/hosts
else
sed -i'' '1i 127.0.1.1\\t#{name}\\t#{basename}' /etc/hosts
fi
}
# Update mailname