From e7fb785dde4f73038dfb5731d96bd981a79f4138 Mon Sep 17 00:00:00 2001
From: Sebastian Gniazdowski <sgniazdowski@gmail.com>
Date: Tue, 15 Oct 2019 22:03:48 +0200
Subject: [PATCH] zgen/.zshrc: Clone into $ZGEN_DIR, better measure the time

---
 zgen/.zshrc | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/zgen/.zshrc b/zgen/.zshrc
index 3e318cf..ab48963 100644
--- a/zgen/.zshrc
+++ b/zgen/.zshrc
@@ -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