Nov. 23, 2019
5:56 a.m.
On Fri, Nov 22, 2019 at 9:19 PM Paul Eggert <eggert@cs.ucla.edu> wrote:
Before 2012 the shebang did say /bin/ksh. On modern systems, though, /bin/bash is more widely available. The BSDs are modern systems! And they're more likely to come with ksh than bash. But I understand. Neither the filename extension nor the shebang line matter in terms of what's actually installed. Not sure it's worth changing the filename extension (as that will complicate code spelunking). That's true. Alright. :)