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.
63 lines
1.6 KiB
Bash
63 lines
1.6 KiB
Bash
#!/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/ and runs a 'make update' build
|
|
|
|
set -euo pipefail
|
|
[ -n "${DEBUG:-}" ] && set -x
|
|
srcdir="$(cd "$(dirname "$0")" && pwd)"
|
|
|
|
git_url="${GIT_URL:-https://github.com}"
|
|
|
|
git_base_dir=~/github
|
|
|
|
mkdir -pv "$git_base_dir"
|
|
|
|
cd "$git_base_dir"
|
|
|
|
repolist="${*:-${REPOS:-}}"
|
|
if [ -z "$repolist" ]; then
|
|
repolist="$("$srcdir/git_repos.sh")"
|
|
fi
|
|
|
|
run(){
|
|
local repolist="$*"
|
|
for repo in $repolist; do
|
|
"$srcdir/git_repos_pull.sh" "$repo"
|
|
repo_dir="${repo##*/}"
|
|
repo_dir="${repo_dir##*:}"
|
|
repo="${repo%%:*}"
|
|
if ! echo "$repo" | grep -q "/"; then
|
|
repo="HariSekhon/$repo"
|
|
fi
|
|
if [ -d "$repo_dir" ]; then
|
|
pushd "$repo_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
|
|
if [ -n "${QUICK:-}" ] ||
|
|
[ -n "${NOBUILD:-}" ] ||
|
|
[ -n "${NO_BUILD:-}" ]; then
|
|
make update-no-recompile || exit 1
|
|
else
|
|
make update
|
|
fi
|
|
popd
|
|
else
|
|
git clone "$git_url/$repo" "$repo_dir"
|
|
fi
|
|
done
|
|
}
|
|
|
|
run "$repolist"
|