.lib/sh/util.sh@23229c179f82
.lib/sh/util.sh
Sun, 05 Mar 2023 20:36:54 -0500
- author
- Meredith Howard <mhoward@roomag.org>
- date
- Sun, 05 Mar 2023 20:36:54 -0500
- changeset 1065
- 23229c179f82
- parent 969
-
28111ba4e573
- permissions
- -rw-r--r--
I can just repeat
warn() { echo "$*" >&2; }
die() { warn "$*"; exit 1; }
clone_or_pull() {
if ! [ -d $2 ]; then
git clone --single-branch --depth 1 "$1" $2
else
echo "$2:"
git -C "$2" pull
fi
}