On 11/30/2014 07:31 PM, Bart Schaefer wrote:
Thanks Bart, that's just fine. So no need for 'ksh_option_print' after all. I got that from Oliver's book. I think I got my wires crossed between 'set' and 'setopt'."set -o" will do what you want -- but note that comes from /bin/sh where