tools/install.sh


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