--- /dev/null
+#!/usr/bin/env bash
+#
+# Handy single command to clone or pull a repository
+#
+
+# Parameters
+BASENAME="`basename $0`"
+ORIGIN="$1"
+DEST="$2"
+
+# Check
+if [ -z "$DEST" ]; then
+ echo "usage: $BASENAME <origin> <dest>"
+ exit 1
+fi
+
+# Dispatch
+if [ ! -e "$DEST" ]; then
+ echo "Cloning $ORIGIN into $DEST..."
+ git clone $ORIGIN $DEST
+else
+ echo "Updating $DEST..."
+ git -C $DEST pull
+
+ # Alternate approach, that restore any existing changes
+ #(
+ # cd $DEST &> /dev/null
+ # git restore .
+ # git pull
+ #)
+fi
+
+# Exit
+exit $?