taler-deployment

commit e1f165fce88111bf2dba0af2d77af5f2a86e7123
parent 1d617c95f65ad577603032f69ecfd56b5b79c83c
Author: Florian Dold <florian.dold@gmail.com>
Date:   Fri,  1 Nov 2019 12:12:03 +0100

deployment script

Diffstat:
M
bin/taler-deployment
 | 
21
+++++++++++++++++++++

1 file changed, 21 insertions(+), 0 deletions(-)
diff --git a/bin/taler-deployment b/bin/taler-deployment
@@ -295,6 +295,27 @@ def get_repos(envname):
     raise Exception(f"no repos defined for envname {envname}")
 
 
+def ensure_activated():
+    """Make sure that the environment variables have been
+    loaded correctly via the ~/activate script"""
+    ts = os.environ.get("TALER_BOOTSTRAP_TIMESTAMP")
+    if ts is None:
+        print("Please do 'source ~/activate' first.", file=sys.stderr)
+        sys.exit(1)
+    out = subprocess.check_output(
+        ["bash", "-c", "source ~/activate; echo $TALER_BOOTSTRAP_TIMESTAMP"],
+        encoding="utf-8",
+    )
+    out = out.strip(" \n")
+    if out != ts:
+        print(
+            f"Please do 'source ~/activate'. Current ts={ts}, new ts={out}",
+            file=sys.stderr,
+        )
+        sys.exit(1)
+
+
+
 def update_repos(repos: List[Repo]) -> None:
     for r in repos:
         r_dir = Path.home() / "sources" / r.name