From c18e378b8d68e03cf04095d9b144990830e27d40 Mon Sep 17 00:00:00 2001 From: Martin von Zweigbergk Date: Thu, 7 Sep 2023 20:59:57 -0700 Subject: [PATCH] demos: make independent of person running the scripts Most importantly, the scripts shouldn't depend on the user's config. --- demos/demo_helpers.sh | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/demos/demo_helpers.sh b/demos/demo_helpers.sh index 8a3832aa6e..14f51079ac 100644 --- a/demos/demo_helpers.sh +++ b/demos/demo_helpers.sh @@ -1,6 +1,12 @@ #!/bin/bash set -euo pipefail +export JJ_CONFIG="" +export JJ_USER="Some One" +export JJ_EMAIL="someone@example.com" +export JJ_OP_HOSTNAME="host.example.com" +export JJ_OP_USERNAME="someone" + new_tmp_dir() { local dirname dirname=$(mktemp -d)