historyapp.py
158 lines
| 5.7 KiB
| text/x-python
|
PythonLexer
Thomas Kluyver
|
r9723 | # encoding: utf-8 | ||
""" | ||||
An application for managing IPython history. | ||||
To be invoked as the `ipython history` subcommand. | ||||
""" | ||||
import sqlite3 | ||||
Gal B
|
r27064 | from pathlib import Path | ||
Thomas Kluyver
|
r9723 | |||
Min RK
|
r21253 | from traitlets.config.application import Application | ||
Srinivas Reddy Thatiparthy
|
r25227 | from .application import BaseIPythonApplication | ||
Min RK
|
r21253 | from traitlets import Bool, Int, Dict | ||
Srinivas Reddy Thatiparthy
|
r25227 | from ..utils.io import ask_yes_no | ||
Thomas Kluyver
|
r9723 | |||
trim_hist_help = """Trim the IPython history database to the last 1000 entries. | ||||
This actually copies the last 1000 entries to a new database, and then replaces | ||||
Paul Ivanov
|
r13607 | the old file with the new. Use the `--keep=` argument to specify a number | ||
other than 1000. | ||||
Thomas Kluyver
|
r9723 | """ | ||
Paul Ivanov
|
r13612 | clear_hist_help = """Clear the IPython history database, deleting all entries. | ||
Because this is a destructive operation, IPython will prompt the user if they | ||||
really want to do this. Passing a `-f` flag will force clearing without a | ||||
prompt. | ||||
This is an handy alias to `ipython history trim --keep=0` | ||||
""" | ||||
Thomas Kluyver
|
r9723 | class HistoryTrim(BaseIPythonApplication): | ||
description = trim_hist_help | ||||
Paul Ivanov
|
r13601 | |||
Matthias Bussonnier
|
r28632 | backup = Bool(False, help="Keep the old history file as history.sqlite.<N>").tag( | ||
config=True | ||||
) | ||||
keep = Int(1000, help="Number of recent lines to keep in the database.").tag( | ||||
config=True | ||||
) | ||||
flags = Dict( # type: ignore | ||||
dict(backup=({"HistoryTrim": {"backup": True}}, backup.help)) | ||||
) | ||||
aliases = Dict(dict(keep="HistoryTrim.keep")) # type: ignore | ||||
Thomas Kluyver
|
r9723 | def start(self): | ||
Gal B
|
r27064 | profile_dir = Path(self.profile_dir.location) | ||
hist_file = profile_dir / "history.sqlite" | ||||
Thomas Kluyver
|
r9723 | con = sqlite3.connect(hist_file) | ||
# Grab the recent history from the current database. | ||||
inputs = list(con.execute('SELECT session, line, source, source_raw FROM ' | ||||
'history ORDER BY session DESC, line DESC LIMIT ?', (self.keep+1,))) | ||||
if len(inputs) <= self.keep: | ||||
print("There are already at most %d entries in the history database." % self.keep) | ||||
Paul Ivanov
|
r13601 | print("Not doing anything. Use --keep= argument to keep fewer entries") | ||
Thomas Kluyver
|
r9723 | return | ||
print("Trimming history to the most recent %d entries." % self.keep) | ||||
inputs.pop() # Remove the extra element we got to check the length. | ||||
inputs.reverse() | ||||
Paul Ivanov
|
r13611 | if inputs: | ||
first_session = inputs[0][0] | ||||
outputs = list(con.execute('SELECT session, line, output FROM ' | ||||
'output_history WHERE session >= ?', (first_session,))) | ||||
sessions = list(con.execute('SELECT session, start, end, num_cmds, remark FROM ' | ||||
'sessions WHERE session >= ?', (first_session,))) | ||||
Thomas Kluyver
|
r9723 | con.close() | ||
# Create the new history database. | ||||
Gal B
|
r27064 | new_hist_file = profile_dir / "history.sqlite.new" | ||
Thomas Kluyver
|
r9723 | i = 0 | ||
Gal B
|
r27064 | while new_hist_file.exists(): | ||
Thomas Kluyver
|
r9723 | # Make sure we don't interfere with an existing file. | ||
i += 1 | ||||
Gal B
|
r27064 | new_hist_file = profile_dir / ("history.sqlite.new" + str(i)) | ||
Thomas Kluyver
|
r9723 | new_db = sqlite3.connect(new_hist_file) | ||
new_db.execute("""CREATE TABLE IF NOT EXISTS sessions (session integer | ||||
primary key autoincrement, start timestamp, | ||||
end timestamp, num_cmds integer, remark text)""") | ||||
new_db.execute("""CREATE TABLE IF NOT EXISTS history | ||||
(session integer, line integer, source text, source_raw text, | ||||
PRIMARY KEY (session, line))""") | ||||
new_db.execute("""CREATE TABLE IF NOT EXISTS output_history | ||||
(session integer, line integer, output text, | ||||
PRIMARY KEY (session, line))""") | ||||
new_db.commit() | ||||
Paul Ivanov
|
r13611 | if inputs: | ||
with new_db: | ||||
# Add the recent history into the new database. | ||||
new_db.executemany('insert into sessions values (?,?,?,?,?)', sessions) | ||||
new_db.executemany('insert into history values (?,?,?,?)', inputs) | ||||
new_db.executemany('insert into output_history values (?,?,?)', outputs) | ||||
Thomas Kluyver
|
r9723 | new_db.close() | ||
if self.backup: | ||||
i = 1 | ||||
Gal B
|
r27064 | backup_hist_file = profile_dir / ("history.sqlite.old.%d" % i) | ||
while backup_hist_file.exists(): | ||||
Thomas Kluyver
|
r9723 | i += 1 | ||
Gal B
|
r27064 | backup_hist_file = profile_dir / ("history.sqlite.old.%d" % i) | ||
hist_file.rename(backup_hist_file) | ||||
Thomas Kluyver
|
r9723 | print("Backed up longer history file to", backup_hist_file) | ||
else: | ||||
Gal B
|
r27064 | hist_file.unlink() | ||
Matthias Bussonnier
|
r28632 | |||
Gal B
|
r27064 | new_hist_file.rename(hist_file) | ||
Thomas Kluyver
|
r9723 | |||
Matthias Bussonnier
|
r28632 | |||
Paul Ivanov
|
r13612 | class HistoryClear(HistoryTrim): | ||
description = clear_hist_help | ||||
Matthias Bussonnier
|
r28632 | keep = Int(0, help="Number of recent lines to keep in the database.") | ||
force = Bool(False, help="Don't prompt user for confirmation").tag(config=True) | ||||
flags = Dict( # type: ignore | ||||
dict( | ||||
force=({"HistoryClear": {"force": True}}, force.help), | ||||
f=({"HistoryTrim": {"force": True}}, force.help), | ||||
Paul Ivanov
|
r13612 | ) | ||
Matthias Bussonnier
|
r28632 | ) | ||
aliases = Dict() # type: ignore | ||||
Paul Ivanov
|
r13612 | |||
def start(self): | ||||
Matthias Bussonnier
|
r28632 | if self.force or ask_yes_no( | ||
"Really delete all ipython history? ", default="no", interrupt="no" | ||||
): | ||||
Paul Ivanov
|
r13612 | HistoryTrim.start(self) | ||
Thomas Kluyver
|
r9723 | |||
Matthias Bussonnier
|
r28632 | |||
Thomas Kluyver
|
r9723 | class HistoryApp(Application): | ||
Matthias Bussonnier
|
r28632 | name = "ipython-history" | ||
Thomas Kluyver
|
r9723 | description = "Manage the IPython history database." | ||
subcommands = Dict(dict( | ||||
trim = (HistoryTrim, HistoryTrim.description.splitlines()[0]), | ||||
Paul Ivanov
|
r13612 | clear = (HistoryClear, HistoryClear.description.splitlines()[0]), | ||
Thomas Kluyver
|
r9723 | )) | ||
def start(self): | ||||
if self.subapp is None: | ||||
Antony Lee
|
r28743 | print( | ||
"No subcommand specified. Must specify one of: " | ||||
+ ", ".join(map(repr, self.subcommands)) | ||||
+ ".\n" | ||||
) | ||||
Thomas Kluyver
|
r9723 | self.print_description() | ||
self.print_subcommands() | ||||
self.exit(1) | ||||
else: | ||||
return self.subapp.start() | ||||