Bram Prieshof
c9abe992e0
Added Debian 11 as supported os Added deb11 to all places were deb10 was in a if statement Temporarily replaced MySQL with MariaDB, since the MySQL repo is not yet avalible
16 lines
656 B
Bash
16 lines
656 B
Bash
dist_ver=$(grep --color=never -Po "^VERSION_ID=\K.*" "/etc/os-release")
|
|
dist=$(grep --color=never -Po "^ID=\K.*" "/etc/os-release")
|
|
|
|
if [[ "${dist}" == *"ubuntu"* ]] && [[ "${dist_ver}" == *"18.04"* ]]; then
|
|
shortdist=ubu1804
|
|
elif [[ "${dist}" == *"ubuntu"* ]] && [[ "${dist_ver}" == *"20.04"* ]]; then
|
|
shortdist=ubu2004
|
|
elif [[ "${dist}" == *"debian"* ]] && [[ "${dist_ver}" == *"10"* ]]; then
|
|
shortdist=deb10
|
|
elif [[ "${dist}" == *"debian"* ]] && [[ "${dist_ver}" == *"11"* ]]; then
|
|
shortdist=deb11
|
|
elif [[ "${dist}" == *"centos"* ]] && [[ "${dist_ver}" == *"8"* ]]; then
|
|
shortdist=el8
|
|
else
|
|
echo "This os in known"
|
|
fi |