So, Ctrl-D is the equivalent of typing "exit" at the bash prompt?
_________________________
Tony Fabris