From 143a254b0cadf8d292f695b46d964f849aefe939 Mon Sep 17 00:00:00 2001 From: Alex Blank Date: Thu, 28 May 2026 13:49:46 +0200 Subject: [PATCH] chore: add pi cache dirs to .gitignore and mobile terminal styles --- .gitignore | 7 + apps/web/src/pages/terminal.tsx | 21 +- apps/web/src/styles.css | 4977 ++++++++++++++++--------------- 3 files changed, 2520 insertions(+), 2485 deletions(-) diff --git a/.gitignore b/.gitignore index 8b9baca..42b0e83 100644 --- a/.gitignore +++ b/.gitignore @@ -49,3 +49,10 @@ apps/web/dist/ .DS_Store Thumbs.db /.stoneforge/.worktrees/ + +# Pi / agent cache +.pi/ +.atl/ +.sisyphus/ +.pi-lens/ + diff --git a/apps/web/src/pages/terminal.tsx b/apps/web/src/pages/terminal.tsx index a275dc6..20c1af6 100644 --- a/apps/web/src/pages/terminal.tsx +++ b/apps/web/src/pages/terminal.tsx @@ -190,10 +190,16 @@ export const TerminalPage: React.FC = () => { if (isMobile) { return ( -
+
{!isFullscreen && (
-

Terminal

@@ -245,9 +251,7 @@ export const TerminalPage: React.FC = () => { } return ( -
+
{!isFullscreen && (