Commit 292d226b93fbe03860268cb6481fa84eb03cd35a
1 parent
2873acbf1a
Use `--plugin-git` function to handle the clone.
Showing 1 changed file with 2 additions and 5 deletions Side-by-side Diff
antigen.zsh
| ... | ... | @@ -210,11 +210,8 @@ antigen-revert () { |
| 210 | 210 | local old_rev="$(--plugin-git rev-parse HEAD)" |
| 211 | 211 | # Pull changes if update requested. |
| 212 | 212 | --plugin-git pull |
| 213 | - # update submodules | |
| 214 | - pushd | |
| 215 | - cd "$clone_dir" | |
| 216 | - git submodule update --recursive | |
| 217 | - popd | |
| 213 | + # Update submodules. | |
| 214 | + --plugin-git submodule update --recursive | |
| 218 | 215 | # Get the new revision. |
| 219 | 216 | local new_rev="$(--plugin-git rev-parse HEAD)" |
| 220 | 217 | fi |