From 6c58c57881299a2932360a7726aa6f8997476773 Mon Sep 17 00:00:00 2001 From: Jesse Luehrs Date: Tue, 16 Oct 2018 23:15:09 -0400 Subject: more script fixes --- bin/launch | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'bin/launch') diff --git a/bin/launch b/bin/launch index 50c2b72..ee30dba 100755 --- a/bin/launch +++ b/bin/launch @@ -2,8 +2,13 @@ set -eu set -o pipefail +script_path="$(realpath "$(dirname "$0")")" +secrets_bin="${script_path}/secrets" + case "$1" in tozt|algo) + "$secrets_bin" open + trap '"$secrets_bin" close' EXIT "$(dirname "$0")/helpers/launch-$1" ;; *) -- cgit v1.2.3-54-g00ecf