24 Jan
2019
24 Jan
'19
22:05
On 24/01/2019 22.46, Christian Boltz wrote:
Hello,
Am Donnerstag, 24. Januar 2019, 14:26:57 CET schrieb Carlos E. R.:
I'm curious.
Why not source the "/etc/os-release" file? Something like
. /etc/os-release
Then just use $VERSION
Someone did exactly this in the Tumbleweed version of pin, and that's what I called "broken in another way" yesterday ;-)
Hint: /etc/os-release has VERSION_ID=..., not VERSION=... so you have to use $VERSION_ID, not $VERSION.
Oh. :-( I thought that the tokens in that file were fixed in Law somewhere. -- Cheers / Saludos, Carlos E. R. (from 15.0 x86_64 at Telcontar)