diff --git a/infra/marimo/theme/scripts/apply-overlay.sh b/infra/marimo/theme/scripts/apply-overlay.sh index d2fbdfd..f5c55e2 100755 --- a/infra/marimo/theme/scripts/apply-overlay.sh +++ b/infra/marimo/theme/scripts/apply-overlay.sh @@ -90,6 +90,28 @@ open(p, 'w').write(s) PY fi +# 4c. Strip the home page's top-right cluster: the Tutorials dropdown, the +# user-settings gear and the server Shutdown X. None of them may ever +# reach the landing page, so unlike 4b this fails the build when an +# upstream bump leaves any of them in place rather than skipping quietly. +# (The editor keeps its own gear: it hosts the settings dialog that the +# notebook menu, AI footer and packages panel open.) +python3 - "$SRC/frontend/src/components/pages/home-page.tsx" <<'PY' +import sys, re +p = sys.argv[1] +s = open(p).read() +s = re.sub( + r'^[ \t]*