annotate docker/base/scripts/add_host @ 126:4ef8e5b2df0e

compte rendu de l'AG ordinaire du 09 octobre 2017
author souliane <souliane@mailoo.org>
date Tue, 31 Oct 2017 18:49:04 +0100
parents 12cb931dbea0
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
105
b69056368901 docker: images optimisation:
Goffi <goffi@goffi.org>
parents:
diff changeset
1 #!/usr/bin/env python2
b69056368901 docker: images optimisation:
Goffi <goffi@goffi.org>
parents:
diff changeset
2 # this script add aliases to /etc/hosts
b69056368901 docker: images optimisation:
Goffi <goffi@goffi.org>
parents:
diff changeset
3 import sys, re
b69056368901 docker: images optimisation:
Goffi <goffi@goffi.org>
parents:
diff changeset
4
b69056368901 docker: images optimisation:
Goffi <goffi@goffi.org>
parents:
diff changeset
5 if len(sys.argv) < 2 or len(sys.argv) > 3:
b69056368901 docker: images optimisation:
Goffi <goffi@goffi.org>
parents:
diff changeset
6 sys.exit(1)
b69056368901 docker: images optimisation:
Goffi <goffi@goffi.org>
parents:
diff changeset
7
b69056368901 docker: images optimisation:
Goffi <goffi@goffi.org>
parents:
diff changeset
8 host = sys.argv[1]
b69056368901 docker: images optimisation:
Goffi <goffi@goffi.org>
parents:
diff changeset
9 alias = sys.argv[2] if len(sys.argv) == 3 else "localhost"
b69056368901 docker: images optimisation:
Goffi <goffi@goffi.org>
parents:
diff changeset
10
b69056368901 docker: images optimisation:
Goffi <goffi@goffi.org>
parents:
diff changeset
11 if host == "localhost" or host == alias:
b69056368901 docker: images optimisation:
Goffi <goffi@goffi.org>
parents:
diff changeset
12 sys.exit(0)
b69056368901 docker: images optimisation:
Goffi <goffi@goffi.org>
parents:
diff changeset
13
b69056368901 docker: images optimisation:
Goffi <goffi@goffi.org>
parents:
diff changeset
14 print "Adding host {} as an alias of {}".format(host, alias)
b69056368901 docker: images optimisation:
Goffi <goffi@goffi.org>
parents:
diff changeset
15 with open("/etc/hosts", "r+") as f:
118
12cb931dbea0 docker (base): fixed bad escaping in add_host script, resulting in domain not put in /etc/hosts
Goffi <goffi@goffi.org>
parents: 105
diff changeset
16 buf = re.sub(r"\b{}\b".format(alias), "{}\t{}".format(alias, host), f.read(), 1)
105
b69056368901 docker: images optimisation:
Goffi <goffi@goffi.org>
parents:
diff changeset
17 f.seek(0)
b69056368901 docker: images optimisation:
Goffi <goffi@goffi.org>
parents:
diff changeset
18 f.write(buf)