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/>