mredar/readline_save_history.py

Last active July 14, 2017 16:39

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/mredar/8dba6c79314946fe5c1fcc31841d82fe.js"></script>
Save mredar/8dba6c79314946fe5c1fcc31841d82fe to your computer and use it in GitHub Desktop.

Download ZIP

Save interactive python session -- http://rufuspollock.com/2007/04/06/dump-python-interactive-session-to-a-file/

Raw

readline_save_history.py

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment