hcoop-git-maint: Quick hack to deal with bad user permissions.

[hcoop/scripts.git] / hcoop-git-maint

diff --git a/hcoop-git-maint b/hcoop-git-maint
index 05e3f37..e9f20f6 100755 (executable)
--- a/hcoop-git-maint
+++ b/hcoop-git-maint
@@ -7,6 +7,13 @@ find /afs/hcoop.net/user -mindepth 3 -maxdepth 3 -noleaf -exec \
      sh -c "test -e {}/.hcoop-git && \
          ln -s {}/.hcoop-git/ /var/cache/git/\$(basename {}) 2>/dev/null" \;
 
+# Remove symlinks for users that have wrong permissions
+find /afs/hcoop.net/user -mindepth 3 -maxdepth 3 -noleaf -exec \
+     sh -c "test ! -e {}/.hcoop-git || \
+         ! { fs la {}/.hcoop-git | \
+             egrep '^ +system:anyuser .*r' > /dev/null; } && \
+         rm -f /var/cache/git/\$(basename {}) 2>/dev/null" \;
+
 # Update cache of front page.
 cache=/var/local/lib/gitweb/indexcache.html
 wget -q -O $cache.tmp 'http://git.hcoop.net/?nocache=y'