From fb77bd546ce42e5703cfb12ab1ebbe9772b83cef Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Sun, 21 Dec 2025 17:26:37 -0500
Subject: Fixes for builds and accessing version and install script

---
 install_script.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'install_script.sh')

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"
-- 
cgit v1.2.3