From 45bc8c66bf7d13bedacc3e7439a5c89bfcac19c2 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Fri, 6 Oct 2023 18:24:15 +0200 Subject: Add settings file --- scripts/settings.sh | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 scripts/settings.sh (limited to 'scripts/settings.sh') diff --git a/scripts/settings.sh b/scripts/settings.sh new file mode 100644 index 0000000..dcb7263 --- /dev/null +++ b/scripts/settings.sh @@ -0,0 +1,2 @@ +export VERICERT_ROOT="$(git rev-parse --show-toplevel)" +export PATH="$VERICERT_ROOT/scripts:$VERICERT_ROOT/bin:$PATH" -- cgit