mirror of
https://github.com/keanuplayz/dotfiles.git
synced 2024-08-15 02:33:12 +00:00
[kitty] change installation script a bit
This commit is contained in:
parent
08255396c9
commit
87bba3cc25
1 changed files with 2 additions and 2 deletions
|
@ -36,7 +36,7 @@ if [ ! -f "$release_src_filename" ]; then
|
||||||
log "downloading $release_src_filename from $release_src_url"
|
log "downloading $release_src_filename from $release_src_url"
|
||||||
curl --show-error --fail --location "$release_src_url" -o "$release_src_filename"
|
curl --show-error --fail --location "$release_src_url" -o "$release_src_filename"
|
||||||
else
|
else
|
||||||
log "$release_src_filename had already downloaded"
|
log "$release_src_filename has already been downloaded"
|
||||||
fi
|
fi
|
||||||
|
|
||||||
release_src_dir="${release_src_filename%.tar.xz}"
|
release_src_dir="${release_src_filename%.tar.xz}"
|
||||||
|
@ -51,7 +51,7 @@ cd "$release_src_dir"
|
||||||
|
|
||||||
log "patching"
|
log "patching"
|
||||||
for patch in ../../patches/*.patch; do
|
for patch in ../../patches/*.patch; do
|
||||||
log "applying patch $patch"
|
log "applying $(basename "$patch")"
|
||||||
patch --unified --strip 0 < "$patch"
|
patch --unified --strip 0 < "$patch"
|
||||||
done
|
done
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue