[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Guile REPL Server
From: |
Jean Abou Samra |
Subject: |
Re: Guile REPL Server |
Date: |
Thu, 19 May 2022 09:38:15 +0200 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.8.1 |
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.
- 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 <=
- Re: Guile REPL Server, Jonas Hahnfeld, 2022/05/19
- Re: Guile REPL Server, David Kastrup, 2022/05/19
- 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