diff options
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" |