[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v2] pk-repl: inform the inputrc parser of the program name
From: |
Jose E. Marchesi |
Subject: |
Re: [PATCH v2] pk-repl: inform the inputrc parser of the program name |
Date: |
Wed, 19 Oct 2022 15:29:02 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
> Afternoon,
>
> On Wednesday, 19 October 2022 13:00:39 CEST Jose E. Marchesi wrote:
>> I don't actually remember why, but there must be a reason for that.
>> So the patch is OK for master.
> pk-repl does seem to make pretty extensive use of readline, so I imagine
> gnulibs replacement grew insufficient for the full UX of poke.
Yeah :)
>> [If you don't have write access to the git repository, please let me
>> know what your username in savannah is and I will add you to the
>> corresponding group.]
> Sure. I believe it's `arsen' now.
I just added you to the `poke' group.
You should have now write access to poke.git.
Thanks, and welcome!