diff --git a/website/public/install_roc.sh b/website/public/install_roc.sh
index 5d25b36..7df58ec 100755
--- a/website/public/install_roc.sh
+++ b/website/public/install_roc.sh
@@ -112,7 +112,14 @@ else
 fi
 
 # ---- Ask to add Roc to PATH ----
-read -r -p "Would you like me to add Roc to your PATH automatically? [y/N] " ANSWER </dev/tty
+ANSWER="n"
+if [ -t 0 ] && [ -e /dev/tty ]; then
+    # Interactive terminal: prompt the user
+    read -r -p "Would you like me to add Roc to your PATH automatically? [y/N] " ANSWER </dev/tty
+elif [ ! -t 0 ]; then
+    # Non-interactive with piped input (e.g., CI with <<< "y"): read from stdin
+    read -r ANSWER || ANSWER="n"
+fi
 if [ "$ANSWER" = "y" ] || [ "$ANSWER" = "Y" ]; then
     # note: using printf here avoids a literal "\n" being written
     printf '\nexport PATH="$PATH:%s"\n' "$INSTALL_DIR" >> "$PROFILE"