annotate docker/base/scripts/add_host @ 151:6f8c849daf2a

flatpak (build_manifest): updated org.freedesktop.Platform runtime version: manifests were using an old 1.6 version of the runtime, this patch fixes them by using the current 18.8 one. Thanks to that, the main_loop.patch which was made because of an outdated version of GLib (see https://github.com/flatpak/flatpak/issues/1899) is not needed anymore and has been removed. Some useless extensions have also been removed from default manifest.
author Goffi <goffi@goffi.org>
date Wed, 26 Jun 2019 20:49:31 +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)