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.
52 lines
1.4 KiB
Bash
52 lines
1.4 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"
|
|
|
|
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
|
|
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" "$dir"
|
|
fi
|
|
done < <(sed 's/#.*//; s/:/ /; /^[[:digit:]]*$/d' "$srcdir/setup/repos.txt")
|