From 292d226b93fbe03860268cb6481fa84eb03cd35a Mon Sep 17 00:00:00 2001 From: Shrikant Sharat Date: Tue, 22 Jan 2013 09:51:04 +0530 Subject: [PATCH] Use `--plugin-git` function to handle the clone. --- antigen.zsh | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/antigen.zsh b/antigen.zsh index ac35d2c..7e1e331 100644 --- a/antigen.zsh +++ b/antigen.zsh @@ -210,11 +210,8 @@ antigen-revert () { local old_rev="$(--plugin-git rev-parse HEAD)" # Pull changes if update requested. --plugin-git pull - # update submodules - pushd - cd "$clone_dir" - git submodule update --recursive - popd + # Update submodules. + --plugin-git submodule update --recursive # Get the new revision. local new_rev="$(--plugin-git rev-parse HEAD)" fi -- 2.0.0