Re: [eclipse-clp-users] readline or command history editing?

That's got it ... thanks for the recommendation ... I'm embarrassed to admit
that I was not aware of 'rlwrap' but macports made it easy to get:

sudo port install rlwrap

Thanks,
Gordon

On Wed, Oct 21, 2009 at 10:32 PM, Lars Kotthoff
<larsko_at_cs.st-andrews.ac.uk>wrote:

> > I find that I can't edit the command line history entries or use the
> arrow
> > keys. Is there a way to build ECLiPSe so that it has a friendlier
> console?
>
> Regardless of how ECLiPSe is built you can use rlwrap (available via
> macports)
> to get readline editing. Just call rlwrap with ECLiPSe as an argument.
>
> Lars
>



-- 
Gordon Rios -- http://www.linkedin.com/in/gordonrios
Cork Constraint Computation Centre -- http://4c.ucc.ie