Skip to content

Commit

Permalink
zgen/.zshrc: Clone into $ZGEN_DIR, better measure the time
Browse files Browse the repository at this point in the history
  • Loading branch information
psprint committed Oct 15, 2019
1 parent c9e06ba commit e7fb785
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions zgen/.zshrc
Original file line number Diff line number Diff line change
@@ -1,17 +1,17 @@
# Start measuring time, in general with microsecond accuracy
typeset -F4 SECONDS=0

HOME=$ZDOTDIR

ZGEN_DIR=$HOME/_zgen

compdef() { :; }

if [[ ! -d $HOME/.zgen ]]; then
git clone --depth 1 https://github.com/tarjoilija/zgen.git "${HOME}/.zgen"
if [[ ! -d $ZGEN_DIR ]]; then
git clone --depth 1 https://github.com/tarjoilija/zgen.git "$ZGEN_DIR"
fi

source "${HOME}/.zgen/zgen.zsh"
# Start measuring time, in general with microsecond accuracy
typeset -F4 SECONDS=0

source "$ZGEN_DIR/zgen.zsh"

# if the init script doesn't exist
if ! zgen saved; then
Expand Down

0 comments on commit e7fb785

Please sign in to comment.