Nov. 23, 2019
2:19 a.m.
On 11/20/19 10:33 PM, Andras Farkas wrote:
Should the filename be renamed or shebang be switched to ksh?
Before 2012 the shebang did say /bin/ksh. On modern systems, though, /bin/bash is more widely available. 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).