diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-10-06 18:24:15 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-10-06 18:24:15 +0200 |
commit | 45bc8c66bf7d13bedacc3e7439a5c89bfcac19c2 (patch) | |
tree | 6c8350609fcc29b144f7544aebceae2527633290 /scripts/settings.sh | |
parent | e4e615ede80e813647947bdff67453b4cc788ce2 (diff) | |
download | vericert-45bc8c66bf7d13bedacc3e7439a5c89bfcac19c2.tar.gz vericert-45bc8c66bf7d13bedacc3e7439a5c89bfcac19c2.zip |
Add settings file
Diffstat (limited to 'scripts/settings.sh')
-rw-r--r-- | scripts/settings.sh | 2 |
1 files changed, 2 insertions, 0 deletions
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" |