Bill Allombert on Mon, 26 Nov 2018 21:24:43 +0100

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

Re: readline history doesn't work on FreeBSD

On Mon, Nov 26, 2018 at 11:43:55AM -0800, Yuri wrote:
> On 11/26/18 10:43 AM, Karim Belabas wrote:
> > The problem is we need to have a filename and a place on the filesystem
> > where it can be written ("~/.gp_history" is arbitrary).
> > 
> > We have no good universal choice here [e.g. "~" doesn't exist on Windows]
> > and I personally hate it when programs start to write files all over my
> > directories without telling me or (worse) without providing overrides.
> > 
> > Also this file can become quite big over time, depending on the value of
> > history-size (which may be set in readline's initialization file).
> > 
> > So we let the user opt in for the feature and provide explicit
> > instructions ...
> An alternative solution is to make readline history work by default on
> systems where locations are unambiguous.

"histfile" is not the only default to set in gprc.
The documentation provide an example gprc (misc/gprc.dft)
that you should install.

There are various setting we cannot guess, like whether your prefer
to work with black-on-white or white-on-black (colors), how much memory you
are ready to use with GP (parisizemax, threadsizemax).

We provide an installation manual that emphasize that.
(just substitute version 2.12.0.A2019 by 2.11.0)