ref: 97afb25b39538a6573756dd9721ad3e14f66c400
parent: a76da5509d4f84e97c5145fbd7fa2bd933d9645d
author: glenda <glenda@9front.local>
date: Sun Nov 29 13:32:50 EST 2020
Update mirror script
--- a/mirror.rc
+++ b/mirror.rc
@@ -4,15 +4,18 @@
cd /usr/glenda/src/repodir
repos=`{hget http://shithub.us/git/repos.html | grep '<dt><a href=' | sed 's,.*">(.*)</a></dt>,\1,g'}-echo Mirroring $#repos at `{date} >> /sys/log/shithubmirror for (repo in $repos) {+ date=`{date} if (test -d $repo) {+ echo pull $repo at $"date >> /sys/log/shithubmirror
cd $repo
git/pull
cd ../../
}
if not {+ echo clone $repo at $"date >> /sys/log/shithubmirror
git/clone git://shithub.us/$repo $repo
}
}
+echo Mirroring done
--
⑨