Skip to content

Pin Bash tool shell to zsh so the prompt matches reality#13

Merged
technicalpickles merged 2 commits into
mainfrom
claude-pin-bash-shell-zsh
Jun 17, 2026
Merged

Pin Bash tool shell to zsh so the prompt matches reality#13
technicalpickles merged 2 commits into
mainfrom
claude-pin-bash-shell-zsh

Commits

Commits on Jun 17, 2026