Patch ghci to recognize :q!

Ashley Yakeley [email protected]
Wed, 27 Jun 2001 04:00:47 -0700


At 2001-06-27 01:41, Michael Weber wrote:

>> Would somebody object to a patch which will cause
>> ghci to quit on ":q!"?
>
>Oh, and I want C-x C-c
>... and C-K Q while we're at it... ;-p

Ya wusses. "kill -9" from another shell is the way to go.

-- 
Ashley Yakeley, Seattle WA