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 <rep...@bugs.python.org> <http://bugs.python.org/issue17507> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
