Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
question a propos du terminal
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-11-19 (21:47)
From: michel levy <michel.levy@i...>
Subject: Re: [Caml-list] question a propos du terminal
David MENTRE wrote:
> [ English summary: use "ledit" command. ]
> Bonjour,
> "thibaut deslandes" <tdeslandes@g...> writes:
>>Quand j'Ă©cris une commande et que je vais a la ligne, il m'est strictement
>>impossible de modifier la ligne précédente. Existe il une solution pour y
>>remédier, (a chaque faute d'orthographe dans le paragraphe, je dois
>>copier-coller le texte ! )
>>J'ai également installé ocaml mais rien n'y fait
> Installer le paquet « ledit » et utiliser la commande ledit :
>   $ ledit ocaml
> LEDIT(1)                                                              LEDIT(1)
>        ledit - line editor, version 1.11
>        ledit [-h file] [-x] [-l length] [command options]
>        The  command  ledit  allows  to  edit  lines one by one when running an
>        interactive command. When typing a line, some keys with control or meta
>        are  interpreted:  it is possible to insert characters in the middle of
>        the line, go to the beginning or the end of the line,  get  a  previous
>        line, search for a line with a pattern, etc.
> Amicalement,
> d.
Another good solution, rlwrap
  rlwrap  runs the specified command, intercepting user input in order to
  supply  readline’s line editing,  persistent  history  and  completion.
  rlwrap  tries  to  be as transparent as possible, keeping track of com-
  mand’s terminal settings, so that it can do the right thing  when  com-
        mand asks for single keypresses or for a password.

Try "rlwrap ocaml"
and install first rlwrap , see at

Michel Levy
36 rue George Sand
38400 Saint Martin d'Heres