checking that the system maxima has working help

[dimpase]

This is needed for e.g. building Sage docs, cf
e.g. Sage's #36028. Some distos mix this up.

Fixes #36028

[dimpase]

the puzzling pattern checked there is due to broken/no Maxima's help giving

$ echo ? ? | maxima 2>&1 | grep Couldn
(Details: CL-INFO::LOAD-PRIMARY-INDEX: Couldn't load

[antonio-rojas]

Even though this makes sense, this should be fixed at the docker CI level first as noted in #36028 (comment). Otherwise building on Arch with system maxima will no longer be tested.

[dimpase]

should I change Couldn to Details: ?
(on assumption that this is a part of any LISP error message)

[dimpase]

Even though this makes sense, this should be fixed at the docker CI level first as noted in #36028 (comment). Otherwise building on Arch with system maxima will no longer be tested.

I don't see where the image is installed in CI. There are a number of places archlinux is mentioned, but no idea where
one can sneak in commands to modify the running image (to install Maxima with help)

[mkoeppe]

I don't see where the image is installed in CI. There are a number of places archlinux is mentioned, but no idea where
one can sneak in commands to modify the running image (to install Maxima with help)

build/bin/write-dockerfile.sh

[github-actions]

Documentation preview for this PR (built with commit 7cd0cb6; changes) is ready! 🎉

[dimpase]

I don't see where the image is installed in CI. There are a number of places archlinux is mentioned, but no idea where
one can sneak in commands to modify the running image (to install Maxima with help)

build/bin/write-dockerfile.sh

can we handle this in another, archlinux-specific, PR?

[dimpase]

I don't see where the image is installed in CI. There are a number of places archlinux is mentioned, but no idea where
one can sneak in commands to modify the running image (to install Maxima with help)

build/bin/write-dockerfile.sh

Would

--- a/build/bin/write-dockerfile.sh
+++ b/build/bin/write-dockerfile.sh
@@ -104,6 +104,7 @@ EOF
         UPDATE="pacman -Sy &&"
         EXISTS="pacman -Si"
         INSTALL="pacman -Su --noconfirm"
+       RUN="RUN sed -i '/^NoExtract/d' /etc/pacman.conf"
         ;;
     nix*)
         # https://hub.docker.com/r/nixos/nix

do the trick, or I misunderstand what RUN does?

[dimpase]

as far as I can see, test on arch fails due to missing container:

Step 1/44 : ARG BASE_IMAGE
Step 2/44 : FROM ${BASE_IMAGE} as with-system-packages
manifest unknown
Error response from daemon: No such container: ghcr.io/sagemath/sage/sage-archlinux-standard-sitepackages-with-targets:10.2.beta5-6-g6bb5776cad-failed
Pushing ghcr.io/sagemath/sage/sage-archlinux-standard-sitepackages-with-targets:10.2.beta5-6-g6bb5776cad-failed
The push refers to repository [ghcr.io/sagemath/sage/sage-archlinux-standard-sitepackages-with-targets]

[mkoeppe]

I misunderstand what RUN does?

I've fixed it for you

[dimpase]

I don't understand what it does. Does it create a file? A script to run?

[mkoeppe]

The script writes a Dockerfile to stdout

[dimpase]

Hmm, and why it's not just using echo to dump these RUN ... lines?

[mkoeppe]

why it's not just using echo to dump these RUN ... lines?

That would be equivalent, of course, but this file uses HERE docs for various multi-line snippets, and so it also does single-line snippets in the same way for consistency.