[New-bugs-announce] [issue17507] To add history time format in readline

[Zulu]

New submission from Zulu:

I'm using readline library, and would like to add date information in "readline.write_history_file" method without override it.

I think the best way is to add a argument for a strftime string. By default it should be simply ''.

----------
components: Build
messages: 184860
nosy: Zulu
priority: normal
severity: normal
status: open
title: To add history time format in readline
type: enhancement
versions: Python 2.6, Python 2.7, Python 3.1, Python 3.2, Python 3.3, Python 3.4, Python 3.5

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue17507>
_______________________________________