Dump Python Interactive Session to a File

import readline
readline.write_history_file('my_history.py')