You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
#!/usr/bin/env bash
# vim:ts=4:sts=4:sw=4:et
#
# Author: Hari Sekhon
# Date: 2016-01-17 12:14:06 +0000 (Sun, 17 Jan 2016)
#
# https://github.com/harisekhon/bash-tools
#
# License: see accompanying Hari Sekhon LICENSE file
#
# If you're using my code you're welcome to connect with me on LinkedIn and optionally send me feedback to help improve or steer this or other code I publish
#
# https://www.linkedin.com/in/harisekhon
#
# Pulls all my Git repos listed in setup/repos.txt to ~/github/
set -euo pipefail
[ -n " ${ DEBUG :- } " ] && set -x
srcdir = " $( cd " $( dirname " $0 " ) " && pwd ) "
if [ " ${ GIT_HTTPS :- } " ] ; then
git_url = " ${ GIT_URL :- https : //github.com/ } "
if [ -n " ${ GITHUB_TOKEN :- } " ] && ! [ [ " $git_url " = ~ @ ] ] ; then
git_url = " https:// $GITHUB_TOKEN @ ${ git_url #https : // } "
fi
else
git_url = " ${ GIT_URL :- git @github.com : } "
fi
git_base_dir = ~/github
mkdir -pv " $git_base_dir "
cd " $git_base_dir "
while read -r repo dir; do
if [ -z " $dir " ] ; then
dir = " $repo "
fi
if ! echo " $repo " | grep -q "/" ; then
repo = " HariSekhon/ $repo "
fi
if [ -d " $dir " ] ; then
pushd " $dir "
# make update does git pull but if that mechanism is broken then this first git pull will allow the repo to self-fix itself
git pull --no-edit
popd
else
git clone " ${ git_url } ${ repo } " " $dir "
fi
done < <( sed 's/#.*//; s/:/ /; /^[[:space:]]*$/d' " $srcdir /setup/repos.txt " )