[taler-deployment] branch master updated: deployment script

[gnunet]

This is an automated email from the git hooks/post-receive script.

dold pushed a commit to branch master
in repository deployment.

The following commit(s) were added to refs/heads/master by this push:
     new e1f165f  deployment script
e1f165f is described below

commit e1f165fce88111bf2dba0af2d77af5f2a86e7123
Author: Florian Dold <address@hidden>
AuthorDate: Fri Nov 1 12:12:03 2019 +0100

    deployment script
---
 bin/taler-deployment | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/bin/taler-deployment b/bin/taler-deployment
index 0e5f565..e30f847 100755
--- 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

-- 
To stop receiving notification emails like this one, please contact
address@hidden.