From b74f8ffd93b41aa7c7b1a9eea72719213c669bb6 Mon Sep 17 00:00:00 2001 From: Max Bucknell Date: Fri, 24 May 2019 23:44:40 +0100 Subject: [PATCH] Remove zsh plugins --- script/bootstrap.sh | 25 ------------------------- 1 file changed, 25 deletions(-) diff --git a/script/bootstrap.sh b/script/bootstrap.sh index 72f7757..7a2ab28 100755 --- a/script/bootstrap.sh +++ b/script/bootstrap.sh @@ -114,31 +114,6 @@ install_dotfiles () { done } -install_zsh_plugins () { - info "installing bash plugins" - - local PLUGINS=( - "zsh-users/zsh-syntax-highlighting" - "zsh-users/zsh-completions" - ) - local BASE_DIR="$DOTFILES_ROOT/zsh/zsh.symlink" - local GIT_HOST="git@github.com" - - rm -fr "$BASE_DIR" - success "remove existing plugins" - - mkdir -p "$BASE_DIR" - - for i in "${PLUGINS[@]}" - do - info "installing $i" - local BASE_NAME="$(basename $i)" - git clone "$GIT_HOST:$i" "$BASE_DIR/$BASE_NAME" &> /dev/null - success "installed $i" - done -} - -install_zsh_plugins install_dotfiles echo ' All installed!'