Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add support for Debian 12 in the install script #246

Open
wants to merge 1 commit into
base: website
Choose a base branch
from
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
35 changes: 35 additions & 0 deletions swiftly-install.sh
Original file line number Diff line number Diff line change
Expand Up @@ -209,6 +209,24 @@ set_platform_rhel () {
fi
}

set_platform_debian () {
# Debian Docker nightlies are not yet available, so use Ubuntu's Dockerfile for computing the dependency list for now

#docker_platform_name="debian"
docker_platform_name="ubuntu"
package_manager="apt-get"
export DEBIAN_FRONTEND=noninteractive

PLATFORM_NAME="debian$1"
PLATFORM_NAME_FULL="debian$1"
#docker_platform_version="$1"
docker_platform_version="24.04"

if [[ -z "$PLATFORM_NAME_PRETTY" ]]; then
PLATFORM_NAME_PRETTY="Debian GNU/Linux $1"
fi
}

detect_platform () {
if [[ -f "/etc/os-release" ]]; then
OS_RELEASE="/etc/os-release"
Expand Down Expand Up @@ -258,6 +276,14 @@ detect_platform () {
fi
;;

*"debian"*)
if [[ "$VERSION_ID" != "12" ]]; then
manually_select_platform
else
set_platform_debian "12"
fi
;;

*)
manually_select_platform
;;
Expand All @@ -279,6 +305,7 @@ manually_select_platform () {
echo "3) Ubuntu 18.04"
echo "4) RHEL 9"
echo "5) Amazon Linux 2"
echo "6) Debian GNU/Linux 12"

read_input_with_default "0"
case "$READ_INPUT_RETURN" in
Expand All @@ -302,6 +329,10 @@ manually_select_platform () {
set_platform_amazonlinux "2"
;;

"6" | "6)")
set_platform_debian "12"
;;

*)
echo "Cancelling installation."
exit 0
Expand Down Expand Up @@ -421,6 +452,10 @@ EOF
set_platform_rhel "9"
;;

"debian12")
set_platform_debian "12"
;;

*)
echo "Error: unrecognized platform $2"
exit 1
Expand Down