aboutsummaryrefslogtreecommitdiff
path: root/install_script.sh
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2025-12-21 17:26:37 -0500
committerBruce Hill <bruce@bruce-hill.com>2025-12-21 17:26:37 -0500
commitfb77bd546ce42e5703cfb12ab1ebbe9772b83cef (patch)
tree4a18f4c813a95ba23a74df1d6dea56250abf8861 /install_script.sh
parent0a5fc171c54bdedce0dad34701562831a497fccc (diff)
Fixes for builds and accessing version and install scriptv2025-12-21.5
Diffstat (limited to 'install_script.sh')
-rwxr-xr-xinstall_script.sh4
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"