Sorry for reporting a false failure.  mksh does appear to handle everything I 
am doing in my .profile.

Reply via email to