zsh/zdharma-continuum.zinit
1
0
Fork 0
mirror of https://github.com/zdharma-continuum/zinit.git synced 2026-09-10 07:36:38 -04:00
Code Issues Actions Packages Projects Releases Wiki Activity

*install: Try to remove the plugin/snippet dir upon interruption

Browse source
This commit is contained in:
Sebastian Gniazdowski 2020-05-09 15:01:33 +02:00
parent b94bb051af
commit f32ef2468b
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
zinit-install.zsh
View file

@ -299,6 +299,8 @@ builtin source "${ZINIT[BIN_DIR]}/zinit-side.zsh" || { print -P "${ZINIT[col-err
}
local_path=$reply[-3]
trap "rmdir \"$local_path\" 2>/dev/null; return 1;" INT
local -A sites
sites=(
github github.com
@ -909,6 +911,9 @@ builtin source "${ZINIT[BIN_DIR]}/zinit-side.zsh" || { print -P "${ZINIT[col-err
setopt extendedglob warncreateglobal typesetsilent
local save_url="$1" url="$2" id_as="$3" id_as_clean="${3%%\?*}" local_dir="$4" dirname="$5" filename="$6" update="$7"
trap "rmdir \"$local_dir/$dirname\" 2>/dev/null; return 1;" INT
local -a list arr
integer retval=0
[[ $id_as = (http|https|ftp|ftps|scp)://* ]] && {