Originally Posted By: tfabris
So, Ctrl-D is the equivalent of typing "exit" at the bash prompt?


Yep.
_________________________
-- roger