RE: command to close the bash window

2002-04-19 Thread Heribert Dahms
Hi, yes. I prefer Ctrl/D, which I can even type faster than moving the mouse and click on x... -Original Message- From: Randall R Schulz [mailto:[EMAIL PROTECTED]] Sent: Donnerstag, 18. April 2002 23:06 To: [EMAIL PROTECTED] Subject: Re: command to close the bash window Hi, Also

Re: command to close the bash window

2002-04-18 Thread Randall R Schulz
Hi, Also, don't just close the window. BASH will not get a chance to do it's termination processing and things like history saving and / or execution of the commands in ~/.bash_logout, if any, won't happen. Randall Schulz Mountain View, CA USA At 10:56 2002-04-18, you wrote: >hongxun lee wro

Re: command to close the bash window

2002-04-18 Thread Andrew DeFaria
hongxun lee wrote: > Does the current package include such a command as to close the Bash > window? Ah try exit! :-) -- Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple Bug reporting: http://cygwin.com/bugs.html Documentation: http://cygwin.com/docs.html F