commit 744c65ecc601bb8e0e78de16ecd1ada23dba9755 parent c932a7a87722be46876190afc774c01d1ad46221 Author: Antoine Amarilli <a3nm@a3nm.net> Date: Thu, 21 Sep 2023 19:01:31 -0700 check-large-stagit Diffstat:
check-large-stagit | | | 15 | +++++++++++++++ |
1 file changed, 15 insertions(+), 0 deletions(-)
diff --git a/check-large-stagit b/check-large-stagit @@ -0,0 +1,15 @@ +#!/bin/bash + +# find index.html files from stagit that have probably gone too large +# meant to be run on a3nm.net server + +# if this happens (cause not identified for now), the fix is to do: +# rm ~/public_html/git/$REPOS/.htmlcache +# then rewind the affected git repo +# (source https://stackoverflow.com/a/53676442) +# cd ~/git/$REPOS.git +# git update-ref refs/heads/master 'HEAD^' +# then git push again, which will rerun the hook + +ls -lh ~/public_html/git/*/index.html | grep M +