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

From: Lars Kotthoff <larsko_at_cs.st-andrews.ac.uk>
Date: Wed, 21 Oct 2009 22:32:16 +0100

> 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

Received on Wed Oct 21 2009 - 22:00:07 CEST

This message: [ Message body ]
Next message: Gordon: "Re: [eclipse-clp-users] readline or command history editing?"
Previous message: Joachim Schimpf: "Re: [eclipse-clp-users] readline or command history editing?"
In reply to: Gordon: "[eclipse-clp-users] readline or command history editing?"
Next in thread: Gordon: "Re: [eclipse-clp-users] readline or command history editing?"
Reply: Gordon: "Re: [eclipse-clp-users] readline or command history editing?"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

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