bin/dev.sh: Improve shell detection
Shell detection used hardcoded paths that made it fail when using distributions using a different scheme (e.g. debian-based distros). Improve shell detection by using a glob-based comparison, where we do not assume any specific path leading to the shell binary.
Showing with 12 additions and 10 deletions