[Python-Dev] save()/load() (original) (raw)
Phillip J. Eby pje at telecommunity.com
Mon Dec 1 16:04:07 EST 2003
- Previous message: [Python-Dev] save()/load()
- Next message: [Python-Dev] save()/load()
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
At 02:35 PM 12/1/03 -0600, Skip Montanaro wrote:
My readline history is stored in ~/.pyhist. I can't use readline.gethistorylength() to mark the start of a session for reasons which are not obvious to me.
get_history_length() is the length you've set for truncation, not the actual length. You want get_current_history_length(), IIRC.
- Previous message: [Python-Dev] save()/load()
- Next message: [Python-Dev] save()/load()
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]