From 0e6e7d24516c235e2dc3022a4ac07d712f67e6e4 Mon Sep 17 00:00:00 2001
From: Eric Teunis de Boone <ericteunis@deboone.nl>
Date: Thu, 25 Nov 2021 15:46:25 +0100
Subject: [PATCH] [dotfiles-local] Add script to easily get my dotfiles-local

---
 install-local-dotfiles.sh | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100755 install-local-dotfiles.sh

diff --git a/install-local-dotfiles.sh b/install-local-dotfiles.sh
new file mode 100755
index 0000000..323c2df
--- /dev/null
+++ b/install-local-dotfiles.sh
@@ -0,0 +1,22 @@
+#!/usr/bin/env bash
+
+set -e
+
+case "$1" in
+	-h|--help|--usage)
+		echo "$0: [local-dotfile-directory]"
+		echo
+		echo "Retrieves a local dotfile repository and puts it at \$local-dotfile-directory."
+		exit 0
+		;;
+esac
+
+LOCAL_DIR="${1:-$HOME/.dotfiles-local}"
+LOCAL_GIT="git@git.deboone.nl:ericteunis/dotfiles-local.git"
+
+git clone $LOCAL_GIT $LOCAL_DIR
+
+# Optionally run the install script directly
+if false; then
+	$LOCAL_DIR/install.sh
+fi