Revision 653235323031 () - Diff

Link to this snippet: https://friendpaste.com/6Q6B7IcsQeAs3RKVJbsgHG
Embed:
1
2
3
4
5
6
7
8
histfile = os.path.join(os.environ["HOME"], ".python_history")
try:
    readline.read_history_file(histfile)
except IOError, err:
    print err

import atexit
atexit.register(readline.write_history_file, histfile)