On Tue, Aug 21, 2001 at 10:52:17AM +0200, Johann Spies wrote:
> John Max Skaller <skaller@maxtal.com.au> writes:
> 
> > > Sven> But i would like to have your opinion on that. Which ones of you
> > > Sven> use ledit, and if you sue, how do you invoke it ?
> > 
> > 	I use ledit when I remember, invoked from the command line:
> > 
> > 	ledit ocaml
> 
> I don't know whether I missed the solution to the question about
> invoking ledit in this thread but this is what I get both on xterm and
> the console:
> 
> -------------------
> $ ledit ocaml
> Error: standard input is not a terminal

Sorry, i was not able to upload a fixed version of the package these days,
will do today.

Anyway, ocaml was in ledit 1.10-1 a wrapper around the true ocaml, typing
ledit ocaml.real would have fixed your problem. But then i will now remove the
wrapper, and this should no more be a problem.

Friendly,

Sven Luther
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr