dsh-shell-switch0 ★@tianxingdaoChoose which local shell runs DSH bash commands (Niubash, Git Bash, MSYS2) and add a Shell selector page to Settings.NewTools