On Tue Apr 19, 2022 at 12:49 AM CDT, wrote:
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.
I use zsh on my personal machine but haven't bothered to customize my tilde environment that much