From f4d21db590560af11ece24de0599d821343a6916 Mon Sep 17 00:00:00 2001 From: Sitaram Chamarty Date: Sun, 23 May 2010 09:11:30 +0530 Subject: [PATCH] easy install: clone even if a non-default host_nickname is used --- src/gl-easy-install | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/gl-easy-install b/src/gl-easy-install index 3100f18..e8fd294 100755 --- a/src/gl-easy-install +++ b/src/gl-easy-install @@ -450,12 +450,12 @@ clone_it() { cleanup cd "$HOME" - if [[ -d gitolite-admin ]] + if [[ -d $host_nickname-admin ]] then - echo $HOME/gitolite-admin exists, skipping clone step... + echo $HOME/$host_nickname-admin exists, skipping clone step... else - prompt "cloning gitolite-admin repo..." "$v_cloning" - git clone gitolite:gitolite-admin + prompt "cloning $host_nickname-admin repo..." "$v_cloning" + git clone $host_nickname:gitolite-admin $host_nickname-admin fi # MANUAL: be sure to read the message below; this applies to you too...