##// END OF EJS Templates
Backport PR #13125: Improve formatting of %time documentation
Backport PR #13125: Improve formatting of %time documentation

File last commit:

r25449:38119d16
r26765:fb9c86fc
Show More
ipython-get-history.py
38 lines | 1.0 KiB | text/x-python | PythonLexer
Thomas Kluyver
Add example script for extracting history from the database.
r4989 #!/usr/bin/env python
"""Extract a session from the IPython input history.
Usage:
ipython-get-history.py sessionnumber [outputfile]
If outputfile is not given, the relevant history is written to stdout. If
outputfile has a .py extension, the translated history (without IPython's
special syntax) will be extracted.
Example:
./ipython-get-history.py 57 record.ipy
This script is a simple demonstration of HistoryAccessor. It should be possible
to build much more flexible and powerful tools to browse and pull from the
history database.
"""
import sys
from IPython.core.history import HistoryAccessor
session_number = int(sys.argv[1])
if len(sys.argv) > 2:
dest = open(sys.argv[2], "w")
raw = not sys.argv[2].endswith('.py')
else:
dest = sys.stdout
raw = True
Mickaël Schoentgen
Fix ResourceWarning: unclosed file...
r24897 with dest:
dest.write("# coding: utf-8\n")
Thomas Kluyver
Add example script for extracting history from the database.
r4989
Mickaël Schoentgen
Fix ResourceWarning: unclosed file...
r24897 # Profiles other than 'default' can be specified here with a profile= argument:
hist = HistoryAccessor()
for session, lineno, cell in hist.get_range(session=session_number, raw=raw):
dest.write(cell + '\n')