[FIX] Can't get the good version with installation script

[nederxal]

I tried to install frankenPHP from the script provided here : https://frankenphp.dev/docs/ --> https://frankenphp.dev/install.sh

However I can't find all the versions I needed.

I found this in the script , in the Linux block from line 32

...
case ${OS} in
Linux*)
	if [ "${ARCH}" = "aarch64" ] || [ "${ARCH}" = "x86_64" ]; then
		if command -v apt >/dev/null 2>&1 || command -v apt-get >/dev/null 2>&1; then
			echo "📦 Detected apt. Installing FrankenPHP from DEB repository..."
...
			${SUDO} sh -c 'echo "deb [signed-by=/usr/share/keyrings/static-php.gpg] https://deb.henderkes.com/ stable main" > /etc/apt/sources.list.d/static-php.list'
...

The url used : https://deb.henderkes.com/for the repo is deprecated. I could see it here https://deb.henderkes.com/conf/distributions

Is it possible to updates either documentation or script ?

[henderkes]

Hmm strange, it was merged two weeks ago here: #2099

@dunglas does the website not update the script automatically from GitHub?

[dunglas]

Indeed. I need to trigger a new docs build.