From 87bba3cc25ed6a722db1830b32b481c98f21ba8b Mon Sep 17 00:00:00 2001 From: Dmytro Meleshko Date: Fri, 2 Aug 2019 16:15:29 +0300 Subject: [PATCH] [kitty] change installation script a bit --- kitty/install.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/kitty/install.sh b/kitty/install.sh index 93622a2..d49af24 100755 --- a/kitty/install.sh +++ b/kitty/install.sh @@ -36,7 +36,7 @@ if [ ! -f "$release_src_filename" ]; then log "downloading $release_src_filename from $release_src_url" curl --show-error --fail --location "$release_src_url" -o "$release_src_filename" else - log "$release_src_filename had already downloaded" + log "$release_src_filename has already been downloaded" fi release_src_dir="${release_src_filename%.tar.xz}" @@ -51,7 +51,7 @@ cd "$release_src_dir" log "patching" for patch in ../../patches/*.patch; do - log "applying patch $patch" + log "applying $(basename "$patch")" patch --unified --strip 0 < "$patch" done