From 220d69b2ce18fab70b874a848ee646fe02eaa0aa Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marc=20Cornell=C3=A0?= Date: Sun, 26 May 2019 18:57:40 +0200 Subject: [PATCH] installer: allow configuration of remote URL to clone from --- tools/install.sh | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/tools/install.sh b/tools/install.sh index 0d5ad2633..db23d9896 100755 --- a/tools/install.sh +++ b/tools/install.sh @@ -11,16 +11,17 @@ # # Respects these environment variables for tweaking the installation process: # REPO - name of the GitHub repo to install from (default: robbyrussell/oh-my-zsh) -# BRANCH - branch to check out immediately after install +# REMOTE - full remote URL of the git repo to install (default: GitHub via HTTPS) +# BRANCH - branch to check out immediately after install (default: master) # set -e # Default settings ZSH=${ZSH:-~/.oh-my-zsh} REPO=${REPO:-robbyrussell/oh-my-zsh} +REMOTE=${REMOTE:-https://github.com/${REPO}.git} BRANCH=${BRANCH:-master} - command_exists() { command -v "$@" >/dev/null 2>&1 } @@ -76,7 +77,7 @@ setup_ohmyzsh() { exit 1 fi - git clone --depth=1 --branch "$BRANCH" "https://github.com/$REPO.git" "$ZSH" || { + git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$ZSH" || { error "git clone of oh-my-zsh repo failed" exit 1 }