Re: sh-script mode does not understand printf

[Glenn Morris]

Kevin Rodgers wrote:

> # /bin/ksh88 -c "type printf"
>
> printf is /usr/bin/printf
> # /bin/ksh93 -c "type printf"
> printf is a shell builtin

That's an awkward one, because (AFAICS) sh-script.el doesn't know
anything about ksh93. "ksh" is assumed to be ksh88. Do you think ksh88
and ksh93 differ significantly enough for it to be worth adding code
for ksh93 to sh-script? Is "ksh" these days more likely to be ksh88 or
ksh93?