Here's the stats: https://hellosmile6.tilde.team/cgi-bin/shells2.sh (https://hellosmile6.tilde.team/cgi-bin/shells2.sh) Looks like bash is the #1 shell, with over 1000 users. Although dash looks like it's barely used, all `sh` users (25 as of now) use dash, even if they don't realize it.
If anyone knows how to sort the entries better, please let me know.
tildeteam@lists.tildeverse.org