various scripts I use to make my life easier

post-recieve script to mirror public repos

Changed files
+27
+27
post-recieve
···
···
+
#!/bin/bash
+
+
# this post-recieve hook runs globally on my local git machine
+
# it checks for the precense of a knot.conf file
+
# if the file exists it reads it to get the remote repo and mirror pushes
+
+
+
REPO_PATH=$(pwd)
+
KNOT_FILE="$REPO_PATH/knot.conf"
+
LOGFILE="/var/log/knot-sync.log" #log our syncing isssues
+
+
if [ ! -f "$KNOT_FILE" ]; then
+
exit 0
+
fi
+
REPO_URL=$(cat "$KNOT_FILE" | tr -d '\n' | xargs)
+
if [ -z "$REPO_URL" ]; then
+
echo "[$(date)] $REPO_PATH: misconfigured knot.conf, skipping", >> "$LOGFILE"
+
exit 0
+
fi
+
+
sync_repo() {
+
git push --mirror "$REPO_URL" >> "$LOGFILE" 2>&1
+
}
+
+
# make sure the sync occurs in the background
+
nohup bash -c "sync_repo" > /dev/null 2>&1 &
+
# vim: filetype=sh