[gambit-list] Remote REPL

Joel Borggrén-Franck joel.borggren.franck at gmail.com
Wed Dec 5 08:35:47 EST 2007


On Dec 5, 2007 6:08 AM, James Long <longster at gmail.com> wrote:

> One last question.  I'd like to get interrupts working, and anything
> ctrl related (like C-d).
>

IIRC, using bash, Ctrl-d doesn't generate a signal, just an EOF on stdin.



More information about the Gambit-list mailing list