mirror of
https://github.com/deepseek-ai/deepseek-harness.git
synced 2026-11-10 04:27:42 +08:00
Shell discovery keyed entries by resolved path. On merged-/usr hosts the login shell /bin/bash from $SHELL and the PATH hit /usr/bin/bash for the `bash` candidate are one file with two spellings, so the menu showed "bash" twice. Key discovered shells by executable name, compared without letter case or `.exe`, and keep the earliest entry so the default shell stays first.