chore: relax checks when installing channels on unsupported platforms
This commit is contained in:
parent
36a975c30b
commit
f4835987fe
|
|
@ -7,15 +7,17 @@ if [[ $(arch) == "aarch64" ]]; then
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if [[ ! -f "/etc/os-release" ]]; then
|
if [ -z "$PLAYWRIGHT_HOST_PLATFORM_OVERRIDE" ]; then
|
||||||
|
if [[ ! -f "/etc/os-release" ]]; then
|
||||||
echo "ERROR: cannot install on unknown linux distribution (/etc/os-release is missing)"
|
echo "ERROR: cannot install on unknown linux distribution (/etc/os-release is missing)"
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ID=$(bash -c 'source /etc/os-release && echo $ID')
|
ID=$(bash -c 'source /etc/os-release && echo $ID')
|
||||||
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
|
||||||
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
||||||
# 1. make sure to remove old beta if any.
|
# 1. make sure to remove old beta if any.
|
||||||
|
|
|
||||||
|
|
@ -7,15 +7,17 @@ if [[ $(arch) == "aarch64" ]]; then
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if [[ ! -f "/etc/os-release" ]]; then
|
if [ -z "$PLAYWRIGHT_HOST_PLATFORM_OVERRIDE" ]; then
|
||||||
|
if [[ ! -f "/etc/os-release" ]]; then
|
||||||
echo "ERROR: cannot install on unknown linux distribution (/etc/os-release is missing)"
|
echo "ERROR: cannot install on unknown linux distribution (/etc/os-release is missing)"
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ID=$(bash -c 'source /etc/os-release && echo $ID')
|
ID=$(bash -c 'source /etc/os-release && echo $ID')
|
||||||
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
|
||||||
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
||||||
# 1. make sure to remove old stable if any.
|
# 1. make sure to remove old stable if any.
|
||||||
|
|
|
||||||
|
|
@ -8,15 +8,17 @@ if [[ $(arch) == "aarch64" ]]; then
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if [[ ! -f "/etc/os-release" ]]; then
|
if [ -z "$PLAYWRIGHT_HOST_PLATFORM_OVERRIDE" ]; then
|
||||||
|
if [[ ! -f "/etc/os-release" ]]; then
|
||||||
echo "ERROR: cannot install on unknown linux distribution (/etc/os-release is missing)"
|
echo "ERROR: cannot install on unknown linux distribution (/etc/os-release is missing)"
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ID=$(bash -c 'source /etc/os-release && echo $ID')
|
ID=$(bash -c 'source /etc/os-release && echo $ID')
|
||||||
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
|
||||||
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
||||||
# 1. make sure to remove old beta if any.
|
# 1. make sure to remove old beta if any.
|
||||||
|
|
|
||||||
|
|
@ -8,15 +8,17 @@ if [[ $(arch) == "aarch64" ]]; then
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if [[ ! -f "/etc/os-release" ]]; then
|
if [ -z "$PLAYWRIGHT_HOST_PLATFORM_OVERRIDE" ]; then
|
||||||
|
if [[ ! -f "/etc/os-release" ]]; then
|
||||||
echo "ERROR: cannot install on unknown linux distribution (/etc/os-release is missing)"
|
echo "ERROR: cannot install on unknown linux distribution (/etc/os-release is missing)"
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ID=$(bash -c 'source /etc/os-release && echo $ID')
|
ID=$(bash -c 'source /etc/os-release && echo $ID')
|
||||||
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
|
||||||
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
||||||
# 1. make sure to remove old dev if any.
|
# 1. make sure to remove old dev if any.
|
||||||
|
|
|
||||||
|
|
@ -8,15 +8,17 @@ if [[ $(arch) == "aarch64" ]]; then
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
if [[ ! -f "/etc/os-release" ]]; then
|
if [ -z "$PLAYWRIGHT_HOST_PLATFORM_OVERRIDE" ]; then
|
||||||
|
if [[ ! -f "/etc/os-release" ]]; then
|
||||||
echo "ERROR: cannot install on unknown linux distribution (/etc/os-release is missing)"
|
echo "ERROR: cannot install on unknown linux distribution (/etc/os-release is missing)"
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ID=$(bash -c 'source /etc/os-release && echo $ID')
|
ID=$(bash -c 'source /etc/os-release && echo $ID')
|
||||||
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
|
||||||
|
fi
|
||||||
fi
|
fi
|
||||||
|
|
||||||
# 1. make sure to remove old stable if any.
|
# 1. make sure to remove old stable if any.
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue