From 71314fb22dac47254619db465f618818afcca3b5 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Sat, 18 Jul 2015 16:53:26 +0100 Subject: Provide cgit-regen-config command for cgi-grnet-01. --- infra/cgit-regen-config | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100755 infra/cgit-regen-config (limited to 'infra') diff --git a/infra/cgit-regen-config b/infra/cgit-regen-config new file mode 100755 index 0000000..36228a1 --- /dev/null +++ b/infra/cgit-regen-config @@ -0,0 +1,26 @@ +#!/bin/sh +set -e + +root=/srv/dgit.debian.org + +repos=$root/unpriv/repos +outfile=$root/etc/projects.cgit +lockfile=$outfile.lock +template=$root/config/cgit-template + +flock $lockfile -c ' + outfile='"$outfile"' + repos='"$repos"' + exec >"$outfile.tmp" + for ff in "$repos"/[0-9a-z]*.git; do + f=${ff##*/} + p=${f%.git} + cat <