Bill Allombert on Mon, 17 Jan 2011 20:51:42 +0100

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

new feature: save/restore command history

Hello PARI-dev,

We added a new feature to GP in SVN revision 12855:
It is now possible to save the history of commands (but not the results)
automatically and to recover them in the next session.

To activate it, set in your .gprc
histfile = "~/.gp_history"

or you can activate it manually with

Of course "~/.gp_history" can be replaced by the filename you want,
subject to strftime expansion.