On Fri, Nov 24, 2023 at 03:00:22PM +0100, Alejandro Colomar wrote: > Hi, > > I'm trying to set up a post-update hook to produce a build of the Linux > man-pages PDF book after every push to my personal server to the 'main' > branch, so that I can serve man-pages-HEAD.pdf at some URL, for users to > be able to easily check the manual at git HEAD without having to clone > the repo. > > I thought of having a git non-bare repo where I build it, so the script > would be the following (the paths are tmp, because I'm still testing). > > $ cat post-update > #!/bin/sh > > test "$1" = "refs/heads/main" || exit 0; > > cd ~/tmp/man-pages/; > > whoami; pwd; ls -ld .git/; # This is for debugging. > > git fetch srv #>/dev/null 2>&1; > git reset srv/main --hard #>/dev/null 2>&1; > git clean -dffx #>/dev/null 2>&1; > scripts/LinuxManBook/build.sh >~/tmp/LMB-HEAD.pdf & The script works fine when called manually. It seems it's calling it as a hook that fails. It seems it's running git(1) from within a post-update hook that is problematic. Is that expected, or is it a bug, and can it be fixed? > > But it's not working. The git(1) calls are failing, saying it's not a > git repo, but it clearly is, and I have permissions, so I don't > understand what's going wrong. Here's the 'remote:' output of a push to > that testing server: > > remote: alx > remote: /home/alx/tmp/man-pages > remote: drwxr-xr-x 8 alx alx 4096 Nov 24 14:41 .git/ > remote: fatal: not a git repository: '.' > remote: fatal: not a git repository: '.' > remote: fatal: not a git repository: '.' > remote: hooks/post-update: 12: ./scripts/LinuxManBook/build.sh: not found > > Can you please help? :) > > Thanks, > Alex > > -- > <https://www.alejandro-colomar.es/> -- <https://www.alejandro-colomar.es/>
Attachment:
signature.asc
Description: PGP signature