diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-12-21 17:26:37 -0500 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-12-21 17:26:37 -0500 |
| commit | fb77bd546ce42e5703cfb12ab1ebbe9772b83cef (patch) | |
| tree | 4a18f4c813a95ba23a74df1d6dea56250abf8861 /install_script.sh | |
| parent | 0a5fc171c54bdedce0dad34701562831a497fccc (diff) | |
Fixes for builds and accessing version and install scriptv2025-12-21.5
Diffstat (limited to 'install_script.sh')
| -rwxr-xr-x | install_script.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/install_script.sh b/install_script.sh index 1b3d92ae..21535f3d 100755 --- a/install_script.sh +++ b/install_script.sh @@ -129,7 +129,7 @@ if echo "$PATH" | tr ':' '\n' | grep -qx "$HOME/.local/bin"; then default_prefix="~/.local" fi printf '\033[1mChoose where to install Tomo (default: %s):\033[m ' "$default_prefix" -read DEST +read DEST </dev/tty if [ -z "$DEST" ]; then DEST="$default_prefix"; fi DEST="${DEST/#\~/$HOME}" @@ -141,3 +141,5 @@ else tar -xzf "$FILE" -C "$DEST" --strip-components=1 "tomo@$TAG" fi echo "Installed to $DEST" + +rm -f "$FILE" "$FILE.sha256" |
