From d2dabc7d5744d47e1025587147b144e1fb8f87c5 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Thu, 17 Nov 2022 11:10:17 +0530 Subject: [PATCH] ... --- shell-integration/ssh/kitty-tool | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/shell-integration/ssh/kitty-tool b/shell-integration/ssh/kitty-tool index 29b5d5f58..4c616b53f 100755 --- a/shell-integration/ssh/kitty-tool +++ b/shell-integration/ssh/kitty-tool @@ -83,12 +83,12 @@ url="https://github.com/kovidgoyal/kitty/releases/download/$release_version/kitt printf "\033[33mkitty-tool needs to be installed\033[m\n\n" command mkdir -p "$install_dir" printf "Downloading kitty-tool from: \033[32m%s\033[m\n\n" "$url" -download_dest="$(mktemp "$kitty_exe.XXXXXXXXXX")" +download_dest="$(command mktemp "$kitty_exe.XXXXXXXXXX")" fetch "$url" > "$download_dest" || { - rm -f "$download_dest" + command rm -f "$download_dest" die "Failed to download kitty-tool" } -chmod 755 "$download_dest" -mv "$download_dest" "$kitty_exe" +command chmod 755 "$download_dest" +command mv "$download_dest" "$kitty_exe" command "$kitty_exe" --version | cut -d" " -f2 > "$local_kitty_version_file" exec_kitty "$@"