On Wed, Mar 13 2019, 積丹尼 Dan Jacobson wrote: > > OK, maybe even less, > $ file /usr/bin/*|grep -c shell\ script > 194 > $ ls /usr/bin/*.sh > /usr/bin/gettext.sh
This only means that a very tiny fraction of shell scripts *inside* /usr/bin have .sh extension. Anyhow, thanks for the clarification. I'll take your suggestion upstream and see what it has to say about it.