[tz] Question (potential issue) about tzselect.ksh

[Paul Eggert]

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).