bin/homedir-setup

changeset 969
28111ba4e573
parent 967
9314317ed18f
child 971
7f391ae6b12b
--- a/bin/homedir-setup
+++ b/bin/homedir-setup
@@ -1,17 +1,7 @@
 #!/bin/bash
 set -euo pipefail
 
-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
-}
+source .lib/sh/util.sh
 
 [ -f .zshrc ] ||
   die "Refusing to run without a .zshrc nearby"

mercurial