@stylus Thanks. Evidently bash is similar enough to ksh that I was able to switch to the latter without needing to RTFM for a while. :)