<div dir="ltr"><div>Thanks everyone! I know this is trickier than it  seems, because the shell is more than just a shell. (Fred, I read your excellent write-up at <a href="http://ferd.ca/repl-a-bit-more-and-less-than-that.html" target="_blank">http://ferd.ca/repl-a-bit-more-and-less-than-that.html</a> earlier this year.) Now I've got some new things to try.<br><br></div><div>James<br></div></div>