[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Bug-apl] Tilde expansion support in READLINE_HISTORY_PATH

From: Dr . Jürgen Sauermann
Subject: Re: [Bug-apl] Tilde expansion support in READLINE_HISTORY_PATH
Date: Thu, 4 Jul 2019 15:52:29 +0200
User-agent: Mozilla/5.0 (X11; Linux i686; rv:60.0) Gecko/20100101 Thunderbird/60.6.1

Hi Alexey,

I see. Will consider it.

Best Regards,

On 7/4/19 3:34 PM, Alexey Dokuchaev wrote:
On 7/4/19, Dr. Jürgen Sauermann <mail@jürgen-sauermann.de> wrote:
The effect of the patch seems to be to change the default value of the
directory where an APL history is stored.
Well, the main part of these changes is support for tilde expansion,
which is useful even preferences are left untouched.  (OK, the comment
line should still be expanded to mention new feature.)

I have long thought about this question myself. Both default values have
their pros and their cons and the decision (to go for the current directory
and not for the user's home) was not an easy one. My considerations were
these: [...]
I understand, fair enough.  Again, I'm fine with if you don't want to
change the default READLINE_HISTORY_PATH, but IMHO the rest of the
patch (C++ code) is still useful.  Right now the user would have to
manually type "/home/username" if they want history file to go in
their home directory.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]