[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Guile REPL Server
From: |
David Kastrup |
Subject: |
Re: Guile REPL Server |
Date: |
Thu, 19 May 2022 11:09:51 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Jean Abou Samra <jean@abou-samra.fr> writes:
> Le 19/05/2022 à 09:36, Jonas Hahnfeld a écrit :
>> What does "nicer editing" mean here?
>
>
> Standard shell editing features: repeating previous command with arrows,
> and autocompletion.
That's not half of it. Without readline, no editing other than
backspacing (and deleting) previously entered content is possible.
While of course it is important to try different variations of commands
without typing them all over (particularly when typos may be involved),
not even being able to correct a typo before hitting RET is a real
nuisance.
--
David Kastrup
- Guile REPL Server, Hendursaga, 2022/05/16
- Re: Guile REPL Server, Jean Abou Samra, 2022/05/17
- Re: Guile REPL Server, Jonas Hahnfeld, 2022/05/17
- Re: Guile REPL Server, David Kastrup, 2022/05/17
- Re: Guile REPL Server, Hendursaga, 2022/05/17
- Re: Guile REPL Server, Jonas Hahnfeld, 2022/05/19
- Re: Guile REPL Server, Jean Abou Samra, 2022/05/19
- Re: Guile REPL Server, Jonas Hahnfeld, 2022/05/19
- Re: Guile REPL Server,
David Kastrup <=
- Re: Guile REPL Server, Omid Mo'menzadeh, 2022/05/19
- Re: Guile REPL Server, David Kastrup, 2022/05/19
- Re: Guile REPL Server, Jonas Hahnfeld, 2022/05/19
Re: Guile REPL Server, Jonas Hahnfeld, 2022/05/19