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

From: Lars Kotthoff <larsko_at_...157...>
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 archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST