diff options
| author | ewy <ewy0@protonmail.com> | 2026-05-02 15:14:15 +0200 |
|---|---|---|
| committer | ewy <ewy0@protonmail.com> | 2026-05-02 15:14:15 +0200 |
| commit | 5087803ef84e95e4e208dbc90db0f9af89dd1b9a (patch) | |
| tree | a2e963dd99b57d55a408ac8045d04c3cddc63c10 /.pik/install.sh | |
| parent | 43a46a1a3a50e08d5a774c73a2528b877ac29451 (diff) | |
update module path
Diffstat (limited to '.pik/install.sh')
| -rw-r--r-- | .pik/install.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/.pik/install.sh b/.pik/install.sh index 117fcc6..0b23681 100644 --- a/.pik/install.sh +++ b/.pik/install.sh @@ -11,4 +11,10 @@ if [ -f "$DEST" ] ; then fi go build -o "$DEST" "$@" . -echo "congratulations!"
\ No newline at end of file + +if [[ $PATH != *"$DEST_FOLDER"* ]] ; then + echo "installed pik but $DEST_FOLDER is not in \$PATH" + exit 1 +fi + +echo "congratulations! You are now using pik $(pik --version)"
\ No newline at end of file |