annotate docker/base/scripts/add_host @ 160:4a5f9daa0ce0

flatpak: added release data for 0.7.0 release
author Goffi <goffi@goffi.org>
date Fri, 23 Aug 2019 16:28:36 +0200
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)