https://dwaves.de/2022/04/03/gnu-linux-bash-get-distribution-os-version/