view docker_legacy/base/scripts/add_host @ 176:e7df6534e387 default tip

association: ajout du compte rendu de l'AG extraordinaire du 17 décembre 2022
author Goffi <goffi@goffi.org>
date Tue, 17 Jan 2023 14:13:58 +0100
parents 29873a41aae1
children
line wrap: on
line source

#!/usr/bin/env python2
# this script add aliases to /etc/hosts
import sys, re

if len(sys.argv) < 2 or len(sys.argv) > 3:
    sys.exit(1)

host = sys.argv[1]
alias = sys.argv[2] if len(sys.argv) == 3 else "localhost"

if host == "localhost" or host == alias:
    sys.exit(0)

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)
    f.seek(0)
    f.write(buf)