3 ms·

What happened to the convention that shell names end in sh? There are: grep sh$ /usr/share/dict/words | wc -l 1959 options available; surely we ha

What happened to the convention that shell names end in sh? There are: grep sh$ /usr/share/dict/words | wc -l 1959 options available; surely we haven't exhausted them all?!

bckr 1y ago
This is instead named for an animal with a shell
Y_Y 1y ago
Balderdash! Sorry to be standoffish, but you must distinguish between dictionaries. My distro has chosen to impoverish me with a nightmarish 315. (wamerican 2017.08.24-1 from Ubuntu 18.04)