summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2017-09-28 10:21:30 +0200
committerErich Eckner <git@eckner.net>2017-09-28 10:21:30 +0200
commitc7c759b0bce35976f89564a5d7b9edd0bfcb5bb4 (patch)
treeeadd6c1e3e68b8634feb88669f47d194c47a3333
parent37c0dc863966411486048114dfabee9d65332a90 (diff)
downloadbuilder-c7c759b0bce35976f89564a5d7b9edd0bfcb5bb4.tar.xz
bin/clean-git new for running "git gc" separately
-rwxr-xr-xbin/clean-git15
1 files changed, 15 insertions, 0 deletions
diff --git a/bin/clean-git b/bin/clean-git
new file mode 100755
index 0000000..2504f2b
--- /dev/null
+++ b/bin/clean-git
@@ -0,0 +1,15 @@
+#!/bin/sh
+
+# clean git repositories
+
+# shellcheck source=conf/default.conf
+. "${0%/*}/../conf/default.conf"
+
+for repo in ${repo_names}; do
+ eval 'repo_path="${repo_paths__'"${repo}"'}"'
+ printf 'cleaning %s (%s) ...\n' \
+ "${repo}" \
+ "${repo_path}"
+ git -C "${repo_path}" gc
+ printf '... done\n'
+done