From 65c007a9a2f59e9f290d566a09acc59d65090435 Mon Sep 17 00:00:00 2001 From: Adeeb Shihadeh Date: Mon, 10 Aug 2026 08:16:57 -0700 Subject: [PATCH] tools: setup.sh isn't for AGNOS (#38588) * tools: setup.sh isn't for AGNOS * Update setup.sh --- tools/setup.sh | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/tools/setup.sh b/tools/setup.sh index d4b68d15c..ced451ab1 100755 --- a/tools/setup.sh +++ b/tools/setup.sh @@ -33,6 +33,13 @@ cat << 'EOF' EOF } +function check_platform() { + if [[ -f /AGNOS ]]; then + echo -e "[${RED}✗${NC}] This installer is for PCs only. The environment is pre-configured in AGNOS." + return 1 + fi +} + function check_stdin() { if [ -t 0 ]; then INTERACTIVE=1 @@ -135,6 +142,7 @@ function install_with_op() { } show_motd +check_platform check_stdin ask_dir check_dir