[issue17507] To add history time format in readline

2013-03-21 Thread 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 ''. -- c

[issue17507] To add history time format in readline

2013-03-21 Thread Zulu
Zulu added the comment: I unfortunatly can't write in C. -- ___ Python tracker <http://bugs.python.org/issue17507> ___ ___ Python-bugs-list mailing list