39 ms·
Funnily enough I do something very close to this with the RFC database at rfc-editor.org, here's the script that I have put in my `cron`: pushd ~/data/rfc
by pdimitar 3y ago
Funnily enough I do something very close to this with the RFC database at rfc-editor.org, here's the script that I have put in my `cron`:
pushd ~/data/rfc # this is a GIT repo
rsync -avzuh --delete --progress --exclude=.git ftp.rfc-editor.org::rfcs-text-only ~/data/rfc/text-only/
rsync -avzuh --delete --progress --exclude=.git ftp.rfc-editor.org::refs ~/data/rfc/refs
rsync -avzuh --delete --progress --exclude=.git ftp.rfc-editor.org::rfcs-pdf-only ~/data/rfc/pdf-only/
git add .
git commit -m "update $(date '+%Y-%m-%d')"
git reflog expire --expire=now --all
git gc --prune=now --aggressive
git push origin master
popd
Though I admit using GitHub's servers for this is more clever than me using one of my home servers. Still, I lean more to self-hosting.
@simonw Will take a look at `git-history`, looks intriguing!
- emmelaich 3y agoI find -i or -ii give a nicer output than -v in rsync