1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
#! /usr/bin/env bash set -e # Default settings SETTING_DIR=${SETTING_DIR:-~/settings} REPO=${REPO:-typebrook/settings} REMOTE=${REMOTE:-https://github.com/${REPO}.git} BRANCH=${BRANCH:-master} git clone --depth=1 --branch "$BRANCH" "$REMOTE" "$SETTING_DIR" || { error "git clone of settings repo failed" exit 1 } cd "$SETTING_DIR" && make