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.

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

This archive was generated by hypermail 2.3.0 : Wed Aug 21 2019 - 09:13:32 CEST