From eaa11cebcb15aa76c9ef10b539ac3dc412c50ff8 Mon Sep 17 00:00:00 2001
From: Tim Keller <tjk@tjkeller.xyz>
Date: Sun, 28 Dec 2025 16:59:21 -0600
Subject: reposync

---
 .../resources/activation-scripts/clone-repos.sh       | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 home-manager/resources/activation-scripts/clone-repos.sh

(limited to 'home-manager/resources/activation-scripts/clone-repos.sh')

diff --git a/home-manager/resources/activation-scripts/clone-repos.sh b/home-manager/resources/activation-scripts/clone-repos.sh
deleted file mode 100644
index adf8fd7..0000000
--- a/home-manager/resources/activation-scripts/clone-repos.sh
+++ /dev/null
@@ -1,19 +0,0 @@
-#!/bin/sh
-
-clonemissing() {
-	# pull and return if already existing
-	if [ -d "$2"/.git ]; then
-		run cd $VERBOSE_ARG "$2"
-		run git pull $VERBOSE_ARG || echo "$2: failed to pull from remote"
-		return
-	fi
-
-	# clone $1 to $2
-	run mkdir -p $VERBOSE_ARG "$2"
-	run git clone $VERBOSE_ARG "$1" "$2"
-
-	# link files to $3
-	[ -z "$3" ] && return
-	run mkdir -p $VERBOSE_ARG "$3"
-	run ln -sf $VERBOSE_ARG "$2"/* "$3"
-}
-- 
cgit v1.2.3