fix: run the native installer when piped to bash

install.sh guarded main behind [[ "${BASH_SOURCE[0]}" == "$0" ]]. Under the
documented `curl … | bash` entry point bash reads the script from stdin, where
BASH_SOURCE is empty and $0 is "bash": set -u aborted on the unset element, and
even without -u the comparison never matched, so main never ran. Native installs
and background auto-updates both failed with exit 1.

install-smoke only ran bash -n and shellcheck, neither of which executes the
script, so an entrypoint that never fires passed every check. Add a step that
runs the piped form for real.

Author: elkaix

.changeset/fix-piped-install-script.md

@@ -0,0 +1,5 @@
+---
+"@pythoughts/pythinker-code": patch
+---
+
+Fix the native install script exiting immediately without installing anything when run the documented way, `curl -fsSL … | bash`, which also broke automatic background updates for native installs.

.github/workflows/install-smoke.yml

@@ -34,6 +34,18 @@ jobs:
           sudo apt-get install -y shellcheck
           shellcheck -e SC1091 apps/pythinker-web/public/install.sh
 
+      # `bash -n` parses the script but never runs it, so an entrypoint guard
+      # that never fires under `curl … | bash` passes every static check. Run
+      # the documented piped form for real; --help exits before any download.
+      - name: Run piped installer
+        run: |
+          set -o pipefail
+          out=$(cat apps/pythinker-web/public/install.sh | bash -s -- --help)
+          case "$out" in
+            *'native curl-bash installer'*) ;;
+            *) echo "piped install.sh did not run main:"; echo "$out"; exit 1 ;;
+          esac
+
       - name: Check PowerShell syntax
         run: |
           pwsh -NoProfile -Command '$errs = $null; [void][System.Management.Automation.Language.Parser]::ParseFile("apps/pythinker-web/public/install.ps1", [ref]$null, [ref]$errs); if ($errs.Count) { $errs; exit 1 }'

apps/pythinker-web/public/install.sh

@@ -897,6 +897,10 @@ main() {
   print_done
 }
 
-if [[ "${BASH_SOURCE[0]}" == "$0" ]]; then
+# `curl … | bash` feeds the script over stdin, where BASH_SOURCE is empty and
+# $0 is "bash". Defaulting to $0 keeps the piped install (the documented entry
+# point) running main, still runs main when the file is executed directly, and
+# still skips it when the script is sourced.
+if [[ "${BASH_SOURCE[0]:-$0}" == "$0" ]]; then
   main "$@"
 fi