-# NB: this all assumes we're run from script's parent directory
-PARENT_DIR=$(dirname $(pwd))
-DEBIAN_RELEASE=$(basename ${PARENT_DIR})
-PATH_REPO=$(dirname ${PARENT_DIR})
-PATH_CONF="${PATH_REPO}/${DEBIAN_RELEASE}"
-PATH_CONF_HOME="${PATH_CONF}/home"
-
-USERNAME=plom
-PATH_USER_HOME="/home/${USERNAME}"
-
-expect_min_n_args() {
- MIN_ARGS="$1"
- EXPLAINER="$2"
- shift 2
- if [ "$#" -lt "${MIN_ARGS}" ]; then
- echo "Need at least ${MIN_ARGS} arguments … ${EXPLAINER}"
- false
- fi
-}
-
-_abort() {
- echo "Aborting: $1"
- exit 1
-}
-
-abort_if_exists() {
- if [ -e "$1" ]; then
- _abort "$1 already exists."
- fi
-}
-
-abort_if_not_user() {
- if [ "$(whoami)" != "$1" ]; then
- _abort "Must be run as ${1}."
- fi
-}
-
-abort_if_offline() {
- if ! ping -c1 -W2 1.1.1.1 > /dev/null 2>&1; then
- _abort 'Must be run online.'
- fi
-}