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

From: Gordon <g.rios_at_4c.ucc.ie>
Date: Thu, 22 Oct 2009 16:26:08 +0100
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
Received on Thu Oct 22 2009 - 15:26:19 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET