support Devuan in install scripts
This commit is contained in:
parent
3b1883444d
commit
3f52bf2d83
|
|
@ -13,6 +13,9 @@ if [[ ! -f "/etc/os-release" ]]; then
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ID=$(bash -c 'source /etc/os-release && echo $ID')
|
ID=$(bash -c 'source /etc/os-release && echo $ID')
|
||||||
|
if [[ "${ID}" == "devuan" ]]; then
|
||||||
|
ID="debian"
|
||||||
|
fi
|
||||||
if [[ "${ID}" != "ubuntu" && "${ID}" != "debian" ]]; then
|
if [[ "${ID}" != "ubuntu" && "${ID}" != "debian" ]]; then
|
||||||
echo "ERROR: cannot install on $ID distribution - only Ubuntu and Debian are supported"
|
echo "ERROR: cannot install on $ID distribution - only Ubuntu and Debian are supported"
|
||||||
exit 1
|
exit 1
|
||||||
|
|
|
||||||
|
|
@ -13,6 +13,9 @@ if [[ ! -f "/etc/os-release" ]]; then
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ID=$(bash -c 'source /etc/os-release && echo $ID')
|
ID=$(bash -c 'source /etc/os-release && echo $ID')
|
||||||
|
if [[ "${ID}" == "devuan" ]]; then
|
||||||
|
ID="debian"
|
||||||
|
fi
|
||||||
if [[ "${ID}" != "ubuntu" && "${ID}" != "debian" ]]; then
|
if [[ "${ID}" != "ubuntu" && "${ID}" != "debian" ]]; then
|
||||||
echo "ERROR: cannot install on $ID distribution - only Ubuntu and Debian are supported"
|
echo "ERROR: cannot install on $ID distribution - only Ubuntu and Debian are supported"
|
||||||
exit 1
|
exit 1
|
||||||
|
|
|
||||||
|
|
@ -14,6 +14,9 @@ if [[ ! -f "/etc/os-release" ]]; then
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ID=$(bash -c 'source /etc/os-release && echo $ID')
|
ID=$(bash -c 'source /etc/os-release && echo $ID')
|
||||||
|
if [[ "${ID}" == "devuan" ]]; then
|
||||||
|
ID="debian"
|
||||||
|
fi
|
||||||
if [[ "${ID}" != "ubuntu" && "${ID}" != "debian" ]]; then
|
if [[ "${ID}" != "ubuntu" && "${ID}" != "debian" ]]; then
|
||||||
echo "ERROR: cannot install on $ID distribution - only Ubuntu and Debian are supported"
|
echo "ERROR: cannot install on $ID distribution - only Ubuntu and Debian are supported"
|
||||||
exit 1
|
exit 1
|
||||||
|
|
|
||||||
|
|
@ -14,6 +14,9 @@ if [[ ! -f "/etc/os-release" ]]; then
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ID=$(bash -c 'source /etc/os-release && echo $ID')
|
ID=$(bash -c 'source /etc/os-release && echo $ID')
|
||||||
|
if [[ "${ID}" == "devuan" ]]; then
|
||||||
|
ID="debian"
|
||||||
|
fi
|
||||||
if [[ "${ID}" != "ubuntu" && "${ID}" != "debian" ]]; then
|
if [[ "${ID}" != "ubuntu" && "${ID}" != "debian" ]]; then
|
||||||
echo "ERROR: cannot install on $ID distribution - only Ubuntu and Debian are supported"
|
echo "ERROR: cannot install on $ID distribution - only Ubuntu and Debian are supported"
|
||||||
exit 1
|
exit 1
|
||||||
|
|
|
||||||
|
|
@ -14,6 +14,9 @@ if [[ ! -f "/etc/os-release" ]]; then
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ID=$(bash -c 'source /etc/os-release && echo $ID')
|
ID=$(bash -c 'source /etc/os-release && echo $ID')
|
||||||
|
if [[ "${ID}" == "devuan" ]]; then
|
||||||
|
ID="debian"
|
||||||
|
fi
|
||||||
if [[ "${ID}" != "ubuntu" && "${ID}" != "debian" ]]; then
|
if [[ "${ID}" != "ubuntu" && "${ID}" != "debian" ]]; then
|
||||||
echo "ERROR: cannot install on $ID distribution - only Ubuntu and Debian are supported"
|
echo "ERROR: cannot install on $ID distribution - only Ubuntu and Debian are supported"
|
||||||
exit 1
|
exit 1
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue