[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: bug#13077: guile: add repl-option for customized print
|
From: |
Daniel Hartwig |
|
Subject: |
Re: bug#13077: guile: add repl-option for customized print |
|
Date: |
Wed, 12 Dec 2012 14:03:20 +0800 |
On 12 December 2012 14:01, Daniel Hartwig <address@hidden> wrote:
> On 12 December 2012 13:49, Nala Ginrut <address@hidden> wrote:
>> repl-default-option-set! seems didn't make sense.
>
> Works fine for me.
>
>>
>> I believe people more like to activate the colored-REPL automatically
>> when ~/.guile is setup. Rather than call (activate-colorized) manually,
>> just like 'readline' module does.
>
> Then you rather implement “repl-printer” akin to “repl-reader” used by
> the readline module.
… and perhaps that makes more sense than using a repl option, given
the symmetry between printer and reader.
Message not available