diff options
| author | Paul Garlick <pgarlick@tourbillion-technology.com> | 2017-02-16 17:59:04 +0000 |
|---|---|---|
| committer | Paul Garlick <pgarlick@tourbillion-technology.com> | 2017-02-16 17:59:04 +0000 |
| commit | 8dd4c661123dff14505a19c35fd314984e99fdf8 (patch) | |
| tree | 74ee36866aaee2b2fcb669824da7b9a0850eb0ef | |
| parent | ea986d1c82298906c8a301b90204cd54ab17fed8 (diff) | |
| download | tweed-8dd4c661123dff14505a19c35fd314984e99fdf8.tar.gz | |
add sha-bang and HASHSTACK_DIR environment variable
| -rw-r--r-- | tweed.hashdist.post-install | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/tweed.hashdist.post-install b/tweed.hashdist.post-install index 1a4ba58..ddd5ead 100644 --- a/tweed.hashdist.post-install +++ b/tweed.hashdist.post-install @@ -1,3 +1,5 @@ +#!/bin/sh +# # Tweed --- Package management for engineering software # Copyright (C) 2016 Paul Garlick <pgarlick@tourbillion-technology.com> # @@ -20,10 +22,14 @@ mkdir -p $HOME/.hashdist-profile # set configuration filename CONFIG_FILE=$HOME/.hashdist-profile/hashdist.sh -# read link to HashDist profile and confirm HashDist store location -PROFILE=default +# remove previous configuration file (if it exists) +rm -f $CONFIG_FILE + +# read link to profile in HashStack directory +PROFILE="$HASHSTACK_DIR/default" PROFILE=$(readlink $PROFILE) PROFILE=$(basename $PROFILE) +# confirm HashDist store location HASHDIST_BUILD_STORE=$(grep build_stores: -A1 ~/.hashdist/config.yaml | tail -1 | cut -f2 -d: | tr -d ' ') if [ "x$HASHDIST_BUILD_STORE" = "x./bld" ]; then HASHDIST_BUILD_STORE="$HOME/.hashdist/bld" |