At 2025-09-01 17:24 Didier Kryn wrote:
>     Well, on my system, ${OS_RELEASE}is not defined. Maybe it is built
> some way in the script. I didn't look.

its defined on line 11 or 13 in the script.
Here they're both OK

ls -la /etc/os-release /usr/lib/os-release
lrwxrwxrwx 1 root root  21 24 maj 08.25 /etc/os-release ->
../usr/lib/os-release
-rw-r--r-- 1 root root 282 24 maj 08.25 /usr/lib/os-release

cat /etc/os-release
PRETTY_NAME="Devuan GNU/Linux 5 (daedalus)"
NAME="Devuan GNU/Linux"
VERSION_ID="5"
VERSION="5 (daedalus)"
VERSION_CODENAME="daedalus"
ID=devuan
ID_LIKE=debian
HOME_URL="https://www.devuan.org/"
SUPPORT_URL="https://devuan.org/os/community"
BUG_REPORT_URL="https://bugs.devuan.org/"

//PG