igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity

provision.sh: step_lease_tool reads the build-owned mirror as build (root's git refused it, so build-6 never got the lease tool from the step; installed by hand, 8 Oct 2026)

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-08 18:05:56 +00:00
parent aa64017ac2
commit 5a5391964c
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
infra/build-server/provision.sh
View file

@ -255,7 +255,8 @@ step_dirs() {
step_lease_tool() {
local src="/srv/igneum.git" want have=""
install -d -m 755 -o "$BUILD_USER" -g "$BUILD_USER" /srv/builds/_bin
want=$(git -C "$src" show master:infra/build-server/lease.sh 2>/dev/null) || { ok lease-tool "mirror has no master yet; run-from-mac.sh installs it on the next provision"; return; }
# the mirror is build-owned: read it as build (root's git refuses a dubious-ownership repo, so build-6 never got the lease tool from this step, 8 Oct 2026)
want=$(as_build "git -C '$src' show master:infra/build-server/lease.sh" 2>/dev/null) || { ok lease-tool "mirror has no master yet; run-from-mac.sh installs it on the next provision"; return; }
[ -f /srv/builds/_bin/lease ] && have=$(cat /srv/builds/_bin/lease)
if [ "$want" = "$have" ]; then ok lease-tool "/srv/builds/_bin/lease is the mirror's master copy"; return; fi
printf '%s\n' "$want" > /srv/builds/_bin/lease.new; chmod 755 /srv/builds/_bin/lease.new; chown "$BUILD_USER:$BUILD_USER" /srv/builds/_bin/lease.new