update home dir to /public#2062
Conversation
Greptile SummaryThis PR aligns the Confidence Score: 4/5Safe to merge once the existence of /public inside the chroot is confirmed. Single P2 finding — the change is logically correct (resolves a HOME inconsistency) but relies on /public being a real, writable directory inside the Alpine chroot; if it isn't, shell sessions degrade. No P0/P1 issues found. src/plugins/terminal/scripts/init-alpine.sh — verify /public is always mounted/created before the terminal session starts. Important Files Changed
Sequence DiagramsequenceDiagram
participant App as Acode App
participant Script as init-alpine.sh
participant RC as /initrc (heredoc)
participant Shell as bash session
App->>Script: launch terminal
Script->>Script: export HOME=/public (line 3)
Script->>RC: write initrc with HOME=/public (line 162, changed)
Script->>Shell: bash --rcfile /initrc -i
Shell->>RC: source initrc
RC->>Shell: export HOME=/public
RC->>Shell: source $HOME/.bashrc → /public/.bashrc
Reviews (1): Last reviewed commit: "Update init-alpine.sh" | Re-trigger Greptile |
No description provided.