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.
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
tildeteam@lists.tildeverse.org