# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1457456051 -3600
# Node ID 12cb931dbea09f93172587b8d222a3008858db51
# Parent  834bedf42332521b8f07751b4ea25384db060e8e
docker (base): fixed bad escaping in add_host script, resulting in domain not put in /etc/hosts

diff -r 834bedf42332 -r 12cb931dbea0 docker/base/scripts/add_host
--- a/docker/base/scripts/add_host	Tue Mar 08 13:52:11 2016 +0100
+++ b/docker/base/scripts/add_host	Tue Mar 08 17:54:11 2016 +0100
@@ -13,6 +13,6 @@
 
 print "Adding host {} as an alias of {}".format(host, alias)
 with open("/etc/hosts", "r+") as f:
-    buf = re.sub(r"\\b{}\\b".format(alias), "{}\\t{}".format(alias, host), f.read(), 1)
+    buf = re.sub(r"\b{}\b".format(alias), "{}\t{}".format(alias, host), f.read(), 1)
     f.seek(0)
     f.write(buf)