From 7fad710ca1d377d0f3ccbae0d016b8901d0151ea Mon Sep 17 00:00:00 2001 From: Mike Reeves Date: Mon, 17 Jul 2023 13:51:01 -0400 Subject: [PATCH] fix other OS installs --- setup/so-functions | 1 + 1 file changed, 1 insertion(+) diff --git a/setup/so-functions b/setup/so-functions index d8c86eda5..c80df2347 100755 --- a/setup/so-functions +++ b/setup/so-functions @@ -981,6 +981,7 @@ detect_os() { UBVER=20.04 OS=ubuntu is_ubuntu=true + is_deb=true not_supported=true unset is_supported elif grep -q "UBUNTU_CODENAME=jammy" /etc/os-release; then