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

From: Gordon <g.rios_at_4c.ucc.ie>
Date: Wed, 21 Oct 2009 21:49:14 +0100

Hi, new to ECLiPSe and running on Mac OS X 10.5.8 running from the console.

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?

Thanks

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

Received on Wed Oct 21 2009 - 20:49:23 CEST

This message: [ Message body ]
Next message: Joachim Schimpf: "Re: [eclipse-clp-users] Locate parameters"
Previous message: simone pascucci: "[eclipse-clp-users] Locate parameters"
Next in thread: Joachim Schimpf: "Re: [eclipse-clp-users] readline or command history editing?"
Reply: Joachim Schimpf: "Re: [eclipse-clp-users] readline or command history editing?"
Reply: Lars Kotthoff: "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