##// END OF EJS Templates
Remove useless iter() call
Takafumi Arakaki -
Show More
@@ -1,770 +1,770 b''
1 """ History related magics and functionality """
1 """ History related magics and functionality """
2 #-----------------------------------------------------------------------------
2 #-----------------------------------------------------------------------------
3 # Copyright (C) 2010-2011 The IPython Development Team.
3 # Copyright (C) 2010-2011 The IPython Development Team.
4 #
4 #
5 # Distributed under the terms of the BSD License.
5 # Distributed under the terms of the BSD License.
6 #
6 #
7 # The full license is in the file COPYING.txt, distributed with this software.
7 # The full license is in the file COPYING.txt, distributed with this software.
8 #-----------------------------------------------------------------------------
8 #-----------------------------------------------------------------------------
9
9
10 #-----------------------------------------------------------------------------
10 #-----------------------------------------------------------------------------
11 # Imports
11 # Imports
12 #-----------------------------------------------------------------------------
12 #-----------------------------------------------------------------------------
13 from __future__ import print_function
13 from __future__ import print_function
14
14
15 # Stdlib imports
15 # Stdlib imports
16 import atexit
16 import atexit
17 import datetime
17 import datetime
18 import os
18 import os
19 import re
19 import re
20 try:
20 try:
21 import sqlite3
21 import sqlite3
22 except ImportError:
22 except ImportError:
23 sqlite3 = None
23 sqlite3 = None
24 import threading
24 import threading
25
25
26 # Our own packages
26 # Our own packages
27 from IPython.config.configurable import Configurable
27 from IPython.config.configurable import Configurable
28 from IPython.external.decorator import decorator
28 from IPython.external.decorator import decorator
29 from IPython.utils.path import locate_profile
29 from IPython.utils.path import locate_profile
30 from IPython.utils.traitlets import (
30 from IPython.utils.traitlets import (
31 Any, Bool, Dict, Instance, Integer, List, Unicode, TraitError,
31 Any, Bool, Dict, Instance, Integer, List, Unicode, TraitError,
32 )
32 )
33 from IPython.utils.warn import warn
33 from IPython.utils.warn import warn
34
34
35 #-----------------------------------------------------------------------------
35 #-----------------------------------------------------------------------------
36 # Classes and functions
36 # Classes and functions
37 #-----------------------------------------------------------------------------
37 #-----------------------------------------------------------------------------
38
38
39 class DummyDB(object):
39 class DummyDB(object):
40 """Dummy DB that will act as a black hole for history.
40 """Dummy DB that will act as a black hole for history.
41
41
42 Only used in the absence of sqlite"""
42 Only used in the absence of sqlite"""
43 def execute(*args, **kwargs):
43 def execute(*args, **kwargs):
44 return []
44 return []
45
45
46 def commit(self, *args, **kwargs):
46 def commit(self, *args, **kwargs):
47 pass
47 pass
48
48
49 def __enter__(self, *args, **kwargs):
49 def __enter__(self, *args, **kwargs):
50 pass
50 pass
51
51
52 def __exit__(self, *args, **kwargs):
52 def __exit__(self, *args, **kwargs):
53 pass
53 pass
54
54
55
55
56 @decorator
56 @decorator
57 def needs_sqlite(f, self, *a, **kw):
57 def needs_sqlite(f, self, *a, **kw):
58 """return an empty list in the absence of sqlite"""
58 """return an empty list in the absence of sqlite"""
59 if sqlite3 is None or not self.enabled:
59 if sqlite3 is None or not self.enabled:
60 return []
60 return []
61 else:
61 else:
62 return f(self, *a, **kw)
62 return f(self, *a, **kw)
63
63
64
64
65 class HistoryAccessor(Configurable):
65 class HistoryAccessor(Configurable):
66 """Access the history database without adding to it.
66 """Access the history database without adding to it.
67
67
68 This is intended for use by standalone history tools. IPython shells use
68 This is intended for use by standalone history tools. IPython shells use
69 HistoryManager, below, which is a subclass of this."""
69 HistoryManager, below, which is a subclass of this."""
70
70
71 # String holding the path to the history file
71 # String holding the path to the history file
72 hist_file = Unicode(config=True,
72 hist_file = Unicode(config=True,
73 help="""Path to file to use for SQLite history database.
73 help="""Path to file to use for SQLite history database.
74
74
75 By default, IPython will put the history database in the IPython
75 By default, IPython will put the history database in the IPython
76 profile directory. If you would rather share one history among
76 profile directory. If you would rather share one history among
77 profiles, you can set this value in each, so that they are consistent.
77 profiles, you can set this value in each, so that they are consistent.
78
78
79 Due to an issue with fcntl, SQLite is known to misbehave on some NFS
79 Due to an issue with fcntl, SQLite is known to misbehave on some NFS
80 mounts. If you see IPython hanging, try setting this to something on a
80 mounts. If you see IPython hanging, try setting this to something on a
81 local disk, e.g::
81 local disk, e.g::
82
82
83 ipython --HistoryManager.hist_file=/tmp/ipython_hist.sqlite
83 ipython --HistoryManager.hist_file=/tmp/ipython_hist.sqlite
84
84
85 """)
85 """)
86
86
87 enabled = Bool(True, config=True,
87 enabled = Bool(True, config=True,
88 help="""enable the SQLite history
88 help="""enable the SQLite history
89
89
90 set enabled=False to disable the SQLite history,
90 set enabled=False to disable the SQLite history,
91 in which case there will be no stored history, no SQLite connection,
91 in which case there will be no stored history, no SQLite connection,
92 and no background saving thread. This may be necessary in some
92 and no background saving thread. This may be necessary in some
93 threaded environments where IPython is embedded.
93 threaded environments where IPython is embedded.
94 """
94 """
95 )
95 )
96
96
97 connection_options = Dict(config=True,
97 connection_options = Dict(config=True,
98 help="""Options for configuring the SQLite connection
98 help="""Options for configuring the SQLite connection
99
99
100 These options are passed as keyword args to sqlite3.connect
100 These options are passed as keyword args to sqlite3.connect
101 when establishing database conenctions.
101 when establishing database conenctions.
102 """
102 """
103 )
103 )
104
104
105 # The SQLite database
105 # The SQLite database
106 db = Any()
106 db = Any()
107 def _db_changed(self, name, old, new):
107 def _db_changed(self, name, old, new):
108 """validate the db, since it can be an Instance of two different types"""
108 """validate the db, since it can be an Instance of two different types"""
109 connection_types = (DummyDB,)
109 connection_types = (DummyDB,)
110 if sqlite3 is not None:
110 if sqlite3 is not None:
111 connection_types = (DummyDB, sqlite3.Connection)
111 connection_types = (DummyDB, sqlite3.Connection)
112 if not isinstance(new, connection_types):
112 if not isinstance(new, connection_types):
113 msg = "%s.db must be sqlite3 Connection or DummyDB, not %r" % \
113 msg = "%s.db must be sqlite3 Connection or DummyDB, not %r" % \
114 (self.__class__.__name__, new)
114 (self.__class__.__name__, new)
115 raise TraitError(msg)
115 raise TraitError(msg)
116
116
117 def __init__(self, profile='default', hist_file=u'', config=None, **traits):
117 def __init__(self, profile='default', hist_file=u'', config=None, **traits):
118 """Create a new history accessor.
118 """Create a new history accessor.
119
119
120 Parameters
120 Parameters
121 ----------
121 ----------
122 profile : str
122 profile : str
123 The name of the profile from which to open history.
123 The name of the profile from which to open history.
124 hist_file : str
124 hist_file : str
125 Path to an SQLite history database stored by IPython. If specified,
125 Path to an SQLite history database stored by IPython. If specified,
126 hist_file overrides profile.
126 hist_file overrides profile.
127 config :
127 config :
128 Config object. hist_file can also be set through this.
128 Config object. hist_file can also be set through this.
129 """
129 """
130 # We need a pointer back to the shell for various tasks.
130 # We need a pointer back to the shell for various tasks.
131 super(HistoryAccessor, self).__init__(config=config, **traits)
131 super(HistoryAccessor, self).__init__(config=config, **traits)
132 # defer setting hist_file from kwarg until after init,
132 # defer setting hist_file from kwarg until after init,
133 # otherwise the default kwarg value would clobber any value
133 # otherwise the default kwarg value would clobber any value
134 # set by config
134 # set by config
135 if hist_file:
135 if hist_file:
136 self.hist_file = hist_file
136 self.hist_file = hist_file
137
137
138 if self.hist_file == u'':
138 if self.hist_file == u'':
139 # No one has set the hist_file, yet.
139 # No one has set the hist_file, yet.
140 self.hist_file = self._get_hist_file_name(profile)
140 self.hist_file = self._get_hist_file_name(profile)
141
141
142 if sqlite3 is None and self.enabled:
142 if sqlite3 is None and self.enabled:
143 warn("IPython History requires SQLite, your history will not be saved\n")
143 warn("IPython History requires SQLite, your history will not be saved\n")
144 self.enabled = False
144 self.enabled = False
145
145
146 if sqlite3 is not None:
146 if sqlite3 is not None:
147 DatabaseError = sqlite3.DatabaseError
147 DatabaseError = sqlite3.DatabaseError
148 else:
148 else:
149 DatabaseError = Exception
149 DatabaseError = Exception
150
150
151 try:
151 try:
152 self.init_db()
152 self.init_db()
153 except DatabaseError:
153 except DatabaseError:
154 if os.path.isfile(self.hist_file):
154 if os.path.isfile(self.hist_file):
155 # Try to move the file out of the way
155 # Try to move the file out of the way
156 base,ext = os.path.splitext(self.hist_file)
156 base,ext = os.path.splitext(self.hist_file)
157 newpath = base + '-corrupt' + ext
157 newpath = base + '-corrupt' + ext
158 os.rename(self.hist_file, newpath)
158 os.rename(self.hist_file, newpath)
159 print("ERROR! History file wasn't a valid SQLite database.",
159 print("ERROR! History file wasn't a valid SQLite database.",
160 "It was moved to %s" % newpath, "and a new file created.")
160 "It was moved to %s" % newpath, "and a new file created.")
161 self.init_db()
161 self.init_db()
162 else:
162 else:
163 # The hist_file is probably :memory: or something else.
163 # The hist_file is probably :memory: or something else.
164 raise
164 raise
165
165
166 def _get_hist_file_name(self, profile='default'):
166 def _get_hist_file_name(self, profile='default'):
167 """Find the history file for the given profile name.
167 """Find the history file for the given profile name.
168
168
169 This is overridden by the HistoryManager subclass, to use the shell's
169 This is overridden by the HistoryManager subclass, to use the shell's
170 active profile.
170 active profile.
171
171
172 Parameters
172 Parameters
173 ----------
173 ----------
174 profile : str
174 profile : str
175 The name of a profile which has a history file.
175 The name of a profile which has a history file.
176 """
176 """
177 return os.path.join(locate_profile(profile), 'history.sqlite')
177 return os.path.join(locate_profile(profile), 'history.sqlite')
178
178
179 def init_db(self):
179 def init_db(self):
180 """Connect to the database, and create tables if necessary."""
180 """Connect to the database, and create tables if necessary."""
181 if not self.enabled:
181 if not self.enabled:
182 self.db = DummyDB()
182 self.db = DummyDB()
183 return
183 return
184
184
185 # use detect_types so that timestamps return datetime objects
185 # use detect_types so that timestamps return datetime objects
186 kwargs = dict(detect_types=sqlite3.PARSE_DECLTYPES|sqlite3.PARSE_COLNAMES)
186 kwargs = dict(detect_types=sqlite3.PARSE_DECLTYPES|sqlite3.PARSE_COLNAMES)
187 kwargs.update(self.connection_options)
187 kwargs.update(self.connection_options)
188 self.db = sqlite3.connect(self.hist_file, **kwargs)
188 self.db = sqlite3.connect(self.hist_file, **kwargs)
189 self.db.execute("""CREATE TABLE IF NOT EXISTS sessions (session integer
189 self.db.execute("""CREATE TABLE IF NOT EXISTS sessions (session integer
190 primary key autoincrement, start timestamp,
190 primary key autoincrement, start timestamp,
191 end timestamp, num_cmds integer, remark text)""")
191 end timestamp, num_cmds integer, remark text)""")
192 self.db.execute("""CREATE TABLE IF NOT EXISTS history
192 self.db.execute("""CREATE TABLE IF NOT EXISTS history
193 (session integer, line integer, source text, source_raw text,
193 (session integer, line integer, source text, source_raw text,
194 PRIMARY KEY (session, line))""")
194 PRIMARY KEY (session, line))""")
195 # Output history is optional, but ensure the table's there so it can be
195 # Output history is optional, but ensure the table's there so it can be
196 # enabled later.
196 # enabled later.
197 self.db.execute("""CREATE TABLE IF NOT EXISTS output_history
197 self.db.execute("""CREATE TABLE IF NOT EXISTS output_history
198 (session integer, line integer, output text,
198 (session integer, line integer, output text,
199 PRIMARY KEY (session, line))""")
199 PRIMARY KEY (session, line))""")
200 self.db.commit()
200 self.db.commit()
201
201
202 def writeout_cache(self):
202 def writeout_cache(self):
203 """Overridden by HistoryManager to dump the cache before certain
203 """Overridden by HistoryManager to dump the cache before certain
204 database lookups."""
204 database lookups."""
205 pass
205 pass
206
206
207 ## -------------------------------
207 ## -------------------------------
208 ## Methods for retrieving history:
208 ## Methods for retrieving history:
209 ## -------------------------------
209 ## -------------------------------
210 def _run_sql(self, sql, params, raw=True, output=False):
210 def _run_sql(self, sql, params, raw=True, output=False):
211 """Prepares and runs an SQL query for the history database.
211 """Prepares and runs an SQL query for the history database.
212
212
213 Parameters
213 Parameters
214 ----------
214 ----------
215 sql : str
215 sql : str
216 Any filtering expressions to go after SELECT ... FROM ...
216 Any filtering expressions to go after SELECT ... FROM ...
217 params : tuple
217 params : tuple
218 Parameters passed to the SQL query (to replace "?")
218 Parameters passed to the SQL query (to replace "?")
219 raw, output : bool
219 raw, output : bool
220 See :meth:`get_range`
220 See :meth:`get_range`
221
221
222 Returns
222 Returns
223 -------
223 -------
224 Tuples as :meth:`get_range`
224 Tuples as :meth:`get_range`
225 """
225 """
226 toget = 'source_raw' if raw else 'source'
226 toget = 'source_raw' if raw else 'source'
227 sqlfrom = "history"
227 sqlfrom = "history"
228 if output:
228 if output:
229 sqlfrom = "history LEFT JOIN output_history USING (session, line)"
229 sqlfrom = "history LEFT JOIN output_history USING (session, line)"
230 toget = "history.%s, output_history.output" % toget
230 toget = "history.%s, output_history.output" % toget
231 cur = self.db.execute("SELECT session, line, %s FROM %s " %\
231 cur = self.db.execute("SELECT session, line, %s FROM %s " %\
232 (toget, sqlfrom) + sql, params)
232 (toget, sqlfrom) + sql, params)
233 if output: # Regroup into 3-tuples, and parse JSON
233 if output: # Regroup into 3-tuples, and parse JSON
234 return ((ses, lin, (inp, out)) for ses, lin, inp, out in cur)
234 return ((ses, lin, (inp, out)) for ses, lin, inp, out in cur)
235 return cur
235 return cur
236
236
237 @needs_sqlite
237 @needs_sqlite
238 def get_session_info(self, session=0):
238 def get_session_info(self, session=0):
239 """get info about a session
239 """get info about a session
240
240
241 Parameters
241 Parameters
242 ----------
242 ----------
243
243
244 session : int
244 session : int
245 Session number to retrieve. The current session is 0, and negative
245 Session number to retrieve. The current session is 0, and negative
246 numbers count back from current session, so -1 is previous session.
246 numbers count back from current session, so -1 is previous session.
247
247
248 Returns
248 Returns
249 -------
249 -------
250
250
251 (session_id [int], start [datetime], end [datetime], num_cmds [int],
251 (session_id [int], start [datetime], end [datetime], num_cmds [int],
252 remark [unicode])
252 remark [unicode])
253
253
254 Sessions that are running or did not exit cleanly will have `end=None`
254 Sessions that are running or did not exit cleanly will have `end=None`
255 and `num_cmds=None`.
255 and `num_cmds=None`.
256
256
257 """
257 """
258
258
259 if session <= 0:
259 if session <= 0:
260 session += self.session_number
260 session += self.session_number
261
261
262 query = "SELECT * from sessions where session == ?"
262 query = "SELECT * from sessions where session == ?"
263 return self.db.execute(query, (session,)).fetchone()
263 return self.db.execute(query, (session,)).fetchone()
264
264
265 def get_tail(self, n=10, raw=True, output=False, include_latest=False):
265 def get_tail(self, n=10, raw=True, output=False, include_latest=False):
266 """Get the last n lines from the history database.
266 """Get the last n lines from the history database.
267
267
268 Parameters
268 Parameters
269 ----------
269 ----------
270 n : int
270 n : int
271 The number of lines to get
271 The number of lines to get
272 raw, output : bool
272 raw, output : bool
273 See :meth:`get_range`
273 See :meth:`get_range`
274 include_latest : bool
274 include_latest : bool
275 If False (default), n+1 lines are fetched, and the latest one
275 If False (default), n+1 lines are fetched, and the latest one
276 is discarded. This is intended to be used where the function
276 is discarded. This is intended to be used where the function
277 is called by a user command, which it should not return.
277 is called by a user command, which it should not return.
278
278
279 Returns
279 Returns
280 -------
280 -------
281 Tuples as :meth:`get_range`
281 Tuples as :meth:`get_range`
282 """
282 """
283 self.writeout_cache()
283 self.writeout_cache()
284 if not include_latest:
284 if not include_latest:
285 n += 1
285 n += 1
286 cur = self._run_sql("ORDER BY session DESC, line DESC LIMIT ?",
286 cur = self._run_sql("ORDER BY session DESC, line DESC LIMIT ?",
287 (n,), raw=raw, output=output)
287 (n,), raw=raw, output=output)
288 if not include_latest:
288 if not include_latest:
289 return reversed(list(cur)[1:])
289 return reversed(list(cur)[1:])
290 return reversed(list(cur))
290 return reversed(list(cur))
291
291
292 def search(self, pattern="*", raw=True, search_raw=True,
292 def search(self, pattern="*", raw=True, search_raw=True,
293 output=False, n=None):
293 output=False, n=None):
294 """Search the database using unix glob-style matching (wildcards
294 """Search the database using unix glob-style matching (wildcards
295 * and ?).
295 * and ?).
296
296
297 Parameters
297 Parameters
298 ----------
298 ----------
299 pattern : str
299 pattern : str
300 The wildcarded pattern to match when searching
300 The wildcarded pattern to match when searching
301 search_raw : bool
301 search_raw : bool
302 If True, search the raw input, otherwise, the parsed input
302 If True, search the raw input, otherwise, the parsed input
303 raw, output : bool
303 raw, output : bool
304 See :meth:`get_range`
304 See :meth:`get_range`
305 n : None or int
305 n : None or int
306 If an integer is given, it defines the limit of
306 If an integer is given, it defines the limit of
307 returned entries.
307 returned entries.
308
308
309 Returns
309 Returns
310 -------
310 -------
311 Tuples as :meth:`get_range`
311 Tuples as :meth:`get_range`
312 """
312 """
313 tosearch = "source_raw" if search_raw else "source"
313 tosearch = "source_raw" if search_raw else "source"
314 if output:
314 if output:
315 tosearch = "history." + tosearch
315 tosearch = "history." + tosearch
316 self.writeout_cache()
316 self.writeout_cache()
317 sqlform = "WHERE %s GLOB ?" % tosearch
317 sqlform = "WHERE %s GLOB ?" % tosearch
318 params = (pattern,)
318 params = (pattern,)
319 if n is not None:
319 if n is not None:
320 sqlform += " ORDER BY session DESC, line DESC LIMIT ?"
320 sqlform += " ORDER BY session DESC, line DESC LIMIT ?"
321 params += (n,)
321 params += (n,)
322 cur = self._run_sql(sqlform, params, raw=raw, output=output)
322 cur = self._run_sql(sqlform, params, raw=raw, output=output)
323 if n is not None:
323 if n is not None:
324 cur = iter(reversed(list(cur)))
324 return reversed(list(cur))
325 return cur
325 return cur
326
326
327 def get_range(self, session, start=1, stop=None, raw=True,output=False):
327 def get_range(self, session, start=1, stop=None, raw=True,output=False):
328 """Retrieve input by session.
328 """Retrieve input by session.
329
329
330 Parameters
330 Parameters
331 ----------
331 ----------
332 session : int
332 session : int
333 Session number to retrieve.
333 Session number to retrieve.
334 start : int
334 start : int
335 First line to retrieve.
335 First line to retrieve.
336 stop : int
336 stop : int
337 End of line range (excluded from output itself). If None, retrieve
337 End of line range (excluded from output itself). If None, retrieve
338 to the end of the session.
338 to the end of the session.
339 raw : bool
339 raw : bool
340 If True, return untranslated input
340 If True, return untranslated input
341 output : bool
341 output : bool
342 If True, attempt to include output. This will be 'real' Python
342 If True, attempt to include output. This will be 'real' Python
343 objects for the current session, or text reprs from previous
343 objects for the current session, or text reprs from previous
344 sessions if db_log_output was enabled at the time. Where no output
344 sessions if db_log_output was enabled at the time. Where no output
345 is found, None is used.
345 is found, None is used.
346
346
347 Returns
347 Returns
348 -------
348 -------
349 An iterator over the desired lines. Each line is a 3-tuple, either
349 An iterator over the desired lines. Each line is a 3-tuple, either
350 (session, line, input) if output is False, or
350 (session, line, input) if output is False, or
351 (session, line, (input, output)) if output is True.
351 (session, line, (input, output)) if output is True.
352 """
352 """
353 if stop:
353 if stop:
354 lineclause = "line >= ? AND line < ?"
354 lineclause = "line >= ? AND line < ?"
355 params = (session, start, stop)
355 params = (session, start, stop)
356 else:
356 else:
357 lineclause = "line>=?"
357 lineclause = "line>=?"
358 params = (session, start)
358 params = (session, start)
359
359
360 return self._run_sql("WHERE session==? AND %s" % lineclause,
360 return self._run_sql("WHERE session==? AND %s" % lineclause,
361 params, raw=raw, output=output)
361 params, raw=raw, output=output)
362
362
363 def get_range_by_str(self, rangestr, raw=True, output=False):
363 def get_range_by_str(self, rangestr, raw=True, output=False):
364 """Get lines of history from a string of ranges, as used by magic
364 """Get lines of history from a string of ranges, as used by magic
365 commands %hist, %save, %macro, etc.
365 commands %hist, %save, %macro, etc.
366
366
367 Parameters
367 Parameters
368 ----------
368 ----------
369 rangestr : str
369 rangestr : str
370 A string specifying ranges, e.g. "5 ~2/1-4". See
370 A string specifying ranges, e.g. "5 ~2/1-4". See
371 :func:`magic_history` for full details.
371 :func:`magic_history` for full details.
372 raw, output : bool
372 raw, output : bool
373 As :meth:`get_range`
373 As :meth:`get_range`
374
374
375 Returns
375 Returns
376 -------
376 -------
377 Tuples as :meth:`get_range`
377 Tuples as :meth:`get_range`
378 """
378 """
379 for sess, s, e in extract_hist_ranges(rangestr):
379 for sess, s, e in extract_hist_ranges(rangestr):
380 for line in self.get_range(sess, s, e, raw=raw, output=output):
380 for line in self.get_range(sess, s, e, raw=raw, output=output):
381 yield line
381 yield line
382
382
383
383
384 class HistoryManager(HistoryAccessor):
384 class HistoryManager(HistoryAccessor):
385 """A class to organize all history-related functionality in one place.
385 """A class to organize all history-related functionality in one place.
386 """
386 """
387 # Public interface
387 # Public interface
388
388
389 # An instance of the IPython shell we are attached to
389 # An instance of the IPython shell we are attached to
390 shell = Instance('IPython.core.interactiveshell.InteractiveShellABC')
390 shell = Instance('IPython.core.interactiveshell.InteractiveShellABC')
391 # Lists to hold processed and raw history. These start with a blank entry
391 # Lists to hold processed and raw history. These start with a blank entry
392 # so that we can index them starting from 1
392 # so that we can index them starting from 1
393 input_hist_parsed = List([""])
393 input_hist_parsed = List([""])
394 input_hist_raw = List([""])
394 input_hist_raw = List([""])
395 # A list of directories visited during session
395 # A list of directories visited during session
396 dir_hist = List()
396 dir_hist = List()
397 def _dir_hist_default(self):
397 def _dir_hist_default(self):
398 try:
398 try:
399 return [os.getcwdu()]
399 return [os.getcwdu()]
400 except OSError:
400 except OSError:
401 return []
401 return []
402
402
403 # A dict of output history, keyed with ints from the shell's
403 # A dict of output history, keyed with ints from the shell's
404 # execution count.
404 # execution count.
405 output_hist = Dict()
405 output_hist = Dict()
406 # The text/plain repr of outputs.
406 # The text/plain repr of outputs.
407 output_hist_reprs = Dict()
407 output_hist_reprs = Dict()
408
408
409 # The number of the current session in the history database
409 # The number of the current session in the history database
410 session_number = Integer()
410 session_number = Integer()
411 # Should we log output to the database? (default no)
411 # Should we log output to the database? (default no)
412 db_log_output = Bool(False, config=True)
412 db_log_output = Bool(False, config=True)
413 # Write to database every x commands (higher values save disk access & power)
413 # Write to database every x commands (higher values save disk access & power)
414 # Values of 1 or less effectively disable caching.
414 # Values of 1 or less effectively disable caching.
415 db_cache_size = Integer(0, config=True)
415 db_cache_size = Integer(0, config=True)
416 # The input and output caches
416 # The input and output caches
417 db_input_cache = List()
417 db_input_cache = List()
418 db_output_cache = List()
418 db_output_cache = List()
419
419
420 # History saving in separate thread
420 # History saving in separate thread
421 save_thread = Instance('IPython.core.history.HistorySavingThread')
421 save_thread = Instance('IPython.core.history.HistorySavingThread')
422 try: # Event is a function returning an instance of _Event...
422 try: # Event is a function returning an instance of _Event...
423 save_flag = Instance(threading._Event)
423 save_flag = Instance(threading._Event)
424 except AttributeError: # ...until Python 3.3, when it's a class.
424 except AttributeError: # ...until Python 3.3, when it's a class.
425 save_flag = Instance(threading.Event)
425 save_flag = Instance(threading.Event)
426
426
427 # Private interface
427 # Private interface
428 # Variables used to store the three last inputs from the user. On each new
428 # Variables used to store the three last inputs from the user. On each new
429 # history update, we populate the user's namespace with these, shifted as
429 # history update, we populate the user's namespace with these, shifted as
430 # necessary.
430 # necessary.
431 _i00 = Unicode(u'')
431 _i00 = Unicode(u'')
432 _i = Unicode(u'')
432 _i = Unicode(u'')
433 _ii = Unicode(u'')
433 _ii = Unicode(u'')
434 _iii = Unicode(u'')
434 _iii = Unicode(u'')
435
435
436 # A regex matching all forms of the exit command, so that we don't store
436 # A regex matching all forms of the exit command, so that we don't store
437 # them in the history (it's annoying to rewind the first entry and land on
437 # them in the history (it's annoying to rewind the first entry and land on
438 # an exit call).
438 # an exit call).
439 _exit_re = re.compile(r"(exit|quit)(\s*\(.*\))?$")
439 _exit_re = re.compile(r"(exit|quit)(\s*\(.*\))?$")
440
440
441 def __init__(self, shell=None, config=None, **traits):
441 def __init__(self, shell=None, config=None, **traits):
442 """Create a new history manager associated with a shell instance.
442 """Create a new history manager associated with a shell instance.
443 """
443 """
444 # We need a pointer back to the shell for various tasks.
444 # We need a pointer back to the shell for various tasks.
445 super(HistoryManager, self).__init__(shell=shell, config=config,
445 super(HistoryManager, self).__init__(shell=shell, config=config,
446 **traits)
446 **traits)
447 self.save_flag = threading.Event()
447 self.save_flag = threading.Event()
448 self.db_input_cache_lock = threading.Lock()
448 self.db_input_cache_lock = threading.Lock()
449 self.db_output_cache_lock = threading.Lock()
449 self.db_output_cache_lock = threading.Lock()
450 if self.enabled and self.hist_file != ':memory:':
450 if self.enabled and self.hist_file != ':memory:':
451 self.save_thread = HistorySavingThread(self)
451 self.save_thread = HistorySavingThread(self)
452 self.save_thread.start()
452 self.save_thread.start()
453
453
454 self.new_session()
454 self.new_session()
455
455
456 def _get_hist_file_name(self, profile=None):
456 def _get_hist_file_name(self, profile=None):
457 """Get default history file name based on the Shell's profile.
457 """Get default history file name based on the Shell's profile.
458
458
459 The profile parameter is ignored, but must exist for compatibility with
459 The profile parameter is ignored, but must exist for compatibility with
460 the parent class."""
460 the parent class."""
461 profile_dir = self.shell.profile_dir.location
461 profile_dir = self.shell.profile_dir.location
462 return os.path.join(profile_dir, 'history.sqlite')
462 return os.path.join(profile_dir, 'history.sqlite')
463
463
464 @needs_sqlite
464 @needs_sqlite
465 def new_session(self, conn=None):
465 def new_session(self, conn=None):
466 """Get a new session number."""
466 """Get a new session number."""
467 if conn is None:
467 if conn is None:
468 conn = self.db
468 conn = self.db
469
469
470 with conn:
470 with conn:
471 cur = conn.execute("""INSERT INTO sessions VALUES (NULL, ?, NULL,
471 cur = conn.execute("""INSERT INTO sessions VALUES (NULL, ?, NULL,
472 NULL, "") """, (datetime.datetime.now(),))
472 NULL, "") """, (datetime.datetime.now(),))
473 self.session_number = cur.lastrowid
473 self.session_number = cur.lastrowid
474
474
475 def end_session(self):
475 def end_session(self):
476 """Close the database session, filling in the end time and line count."""
476 """Close the database session, filling in the end time and line count."""
477 self.writeout_cache()
477 self.writeout_cache()
478 with self.db:
478 with self.db:
479 self.db.execute("""UPDATE sessions SET end=?, num_cmds=? WHERE
479 self.db.execute("""UPDATE sessions SET end=?, num_cmds=? WHERE
480 session==?""", (datetime.datetime.now(),
480 session==?""", (datetime.datetime.now(),
481 len(self.input_hist_parsed)-1, self.session_number))
481 len(self.input_hist_parsed)-1, self.session_number))
482 self.session_number = 0
482 self.session_number = 0
483
483
484 def name_session(self, name):
484 def name_session(self, name):
485 """Give the current session a name in the history database."""
485 """Give the current session a name in the history database."""
486 with self.db:
486 with self.db:
487 self.db.execute("UPDATE sessions SET remark=? WHERE session==?",
487 self.db.execute("UPDATE sessions SET remark=? WHERE session==?",
488 (name, self.session_number))
488 (name, self.session_number))
489
489
490 def reset(self, new_session=True):
490 def reset(self, new_session=True):
491 """Clear the session history, releasing all object references, and
491 """Clear the session history, releasing all object references, and
492 optionally open a new session."""
492 optionally open a new session."""
493 self.output_hist.clear()
493 self.output_hist.clear()
494 # The directory history can't be completely empty
494 # The directory history can't be completely empty
495 self.dir_hist[:] = [os.getcwdu()]
495 self.dir_hist[:] = [os.getcwdu()]
496
496
497 if new_session:
497 if new_session:
498 if self.session_number:
498 if self.session_number:
499 self.end_session()
499 self.end_session()
500 self.input_hist_parsed[:] = [""]
500 self.input_hist_parsed[:] = [""]
501 self.input_hist_raw[:] = [""]
501 self.input_hist_raw[:] = [""]
502 self.new_session()
502 self.new_session()
503
503
504 # ------------------------------
504 # ------------------------------
505 # Methods for retrieving history
505 # Methods for retrieving history
506 # ------------------------------
506 # ------------------------------
507 def _get_range_session(self, start=1, stop=None, raw=True, output=False):
507 def _get_range_session(self, start=1, stop=None, raw=True, output=False):
508 """Get input and output history from the current session. Called by
508 """Get input and output history from the current session. Called by
509 get_range, and takes similar parameters."""
509 get_range, and takes similar parameters."""
510 input_hist = self.input_hist_raw if raw else self.input_hist_parsed
510 input_hist = self.input_hist_raw if raw else self.input_hist_parsed
511
511
512 n = len(input_hist)
512 n = len(input_hist)
513 if start < 0:
513 if start < 0:
514 start += n
514 start += n
515 if not stop or (stop > n):
515 if not stop or (stop > n):
516 stop = n
516 stop = n
517 elif stop < 0:
517 elif stop < 0:
518 stop += n
518 stop += n
519
519
520 for i in range(start, stop):
520 for i in range(start, stop):
521 if output:
521 if output:
522 line = (input_hist[i], self.output_hist_reprs.get(i))
522 line = (input_hist[i], self.output_hist_reprs.get(i))
523 else:
523 else:
524 line = input_hist[i]
524 line = input_hist[i]
525 yield (0, i, line)
525 yield (0, i, line)
526
526
527 def get_range(self, session=0, start=1, stop=None, raw=True,output=False):
527 def get_range(self, session=0, start=1, stop=None, raw=True,output=False):
528 """Retrieve input by session.
528 """Retrieve input by session.
529
529
530 Parameters
530 Parameters
531 ----------
531 ----------
532 session : int
532 session : int
533 Session number to retrieve. The current session is 0, and negative
533 Session number to retrieve. The current session is 0, and negative
534 numbers count back from current session, so -1 is previous session.
534 numbers count back from current session, so -1 is previous session.
535 start : int
535 start : int
536 First line to retrieve.
536 First line to retrieve.
537 stop : int
537 stop : int
538 End of line range (excluded from output itself). If None, retrieve
538 End of line range (excluded from output itself). If None, retrieve
539 to the end of the session.
539 to the end of the session.
540 raw : bool
540 raw : bool
541 If True, return untranslated input
541 If True, return untranslated input
542 output : bool
542 output : bool
543 If True, attempt to include output. This will be 'real' Python
543 If True, attempt to include output. This will be 'real' Python
544 objects for the current session, or text reprs from previous
544 objects for the current session, or text reprs from previous
545 sessions if db_log_output was enabled at the time. Where no output
545 sessions if db_log_output was enabled at the time. Where no output
546 is found, None is used.
546 is found, None is used.
547
547
548 Returns
548 Returns
549 -------
549 -------
550 An iterator over the desired lines. Each line is a 3-tuple, either
550 An iterator over the desired lines. Each line is a 3-tuple, either
551 (session, line, input) if output is False, or
551 (session, line, input) if output is False, or
552 (session, line, (input, output)) if output is True.
552 (session, line, (input, output)) if output is True.
553 """
553 """
554 if session <= 0:
554 if session <= 0:
555 session += self.session_number
555 session += self.session_number
556 if session==self.session_number: # Current session
556 if session==self.session_number: # Current session
557 return self._get_range_session(start, stop, raw, output)
557 return self._get_range_session(start, stop, raw, output)
558 return super(HistoryManager, self).get_range(session, start, stop, raw,
558 return super(HistoryManager, self).get_range(session, start, stop, raw,
559 output)
559 output)
560
560
561 ## ----------------------------
561 ## ----------------------------
562 ## Methods for storing history:
562 ## Methods for storing history:
563 ## ----------------------------
563 ## ----------------------------
564 def store_inputs(self, line_num, source, source_raw=None):
564 def store_inputs(self, line_num, source, source_raw=None):
565 """Store source and raw input in history and create input cache
565 """Store source and raw input in history and create input cache
566 variables _i*.
566 variables _i*.
567
567
568 Parameters
568 Parameters
569 ----------
569 ----------
570 line_num : int
570 line_num : int
571 The prompt number of this input.
571 The prompt number of this input.
572
572
573 source : str
573 source : str
574 Python input.
574 Python input.
575
575
576 source_raw : str, optional
576 source_raw : str, optional
577 If given, this is the raw input without any IPython transformations
577 If given, this is the raw input without any IPython transformations
578 applied to it. If not given, ``source`` is used.
578 applied to it. If not given, ``source`` is used.
579 """
579 """
580 if source_raw is None:
580 if source_raw is None:
581 source_raw = source
581 source_raw = source
582 source = source.rstrip('\n')
582 source = source.rstrip('\n')
583 source_raw = source_raw.rstrip('\n')
583 source_raw = source_raw.rstrip('\n')
584
584
585 # do not store exit/quit commands
585 # do not store exit/quit commands
586 if self._exit_re.match(source_raw.strip()):
586 if self._exit_re.match(source_raw.strip()):
587 return
587 return
588
588
589 self.input_hist_parsed.append(source)
589 self.input_hist_parsed.append(source)
590 self.input_hist_raw.append(source_raw)
590 self.input_hist_raw.append(source_raw)
591
591
592 with self.db_input_cache_lock:
592 with self.db_input_cache_lock:
593 self.db_input_cache.append((line_num, source, source_raw))
593 self.db_input_cache.append((line_num, source, source_raw))
594 # Trigger to flush cache and write to DB.
594 # Trigger to flush cache and write to DB.
595 if len(self.db_input_cache) >= self.db_cache_size:
595 if len(self.db_input_cache) >= self.db_cache_size:
596 self.save_flag.set()
596 self.save_flag.set()
597
597
598 # update the auto _i variables
598 # update the auto _i variables
599 self._iii = self._ii
599 self._iii = self._ii
600 self._ii = self._i
600 self._ii = self._i
601 self._i = self._i00
601 self._i = self._i00
602 self._i00 = source_raw
602 self._i00 = source_raw
603
603
604 # hackish access to user namespace to create _i1,_i2... dynamically
604 # hackish access to user namespace to create _i1,_i2... dynamically
605 new_i = '_i%s' % line_num
605 new_i = '_i%s' % line_num
606 to_main = {'_i': self._i,
606 to_main = {'_i': self._i,
607 '_ii': self._ii,
607 '_ii': self._ii,
608 '_iii': self._iii,
608 '_iii': self._iii,
609 new_i : self._i00 }
609 new_i : self._i00 }
610
610
611 self.shell.push(to_main, interactive=False)
611 self.shell.push(to_main, interactive=False)
612
612
613 def store_output(self, line_num):
613 def store_output(self, line_num):
614 """If database output logging is enabled, this saves all the
614 """If database output logging is enabled, this saves all the
615 outputs from the indicated prompt number to the database. It's
615 outputs from the indicated prompt number to the database. It's
616 called by run_cell after code has been executed.
616 called by run_cell after code has been executed.
617
617
618 Parameters
618 Parameters
619 ----------
619 ----------
620 line_num : int
620 line_num : int
621 The line number from which to save outputs
621 The line number from which to save outputs
622 """
622 """
623 if (not self.db_log_output) or (line_num not in self.output_hist_reprs):
623 if (not self.db_log_output) or (line_num not in self.output_hist_reprs):
624 return
624 return
625 output = self.output_hist_reprs[line_num]
625 output = self.output_hist_reprs[line_num]
626
626
627 with self.db_output_cache_lock:
627 with self.db_output_cache_lock:
628 self.db_output_cache.append((line_num, output))
628 self.db_output_cache.append((line_num, output))
629 if self.db_cache_size <= 1:
629 if self.db_cache_size <= 1:
630 self.save_flag.set()
630 self.save_flag.set()
631
631
632 def _writeout_input_cache(self, conn):
632 def _writeout_input_cache(self, conn):
633 with conn:
633 with conn:
634 for line in self.db_input_cache:
634 for line in self.db_input_cache:
635 conn.execute("INSERT INTO history VALUES (?, ?, ?, ?)",
635 conn.execute("INSERT INTO history VALUES (?, ?, ?, ?)",
636 (self.session_number,)+line)
636 (self.session_number,)+line)
637
637
638 def _writeout_output_cache(self, conn):
638 def _writeout_output_cache(self, conn):
639 with conn:
639 with conn:
640 for line in self.db_output_cache:
640 for line in self.db_output_cache:
641 conn.execute("INSERT INTO output_history VALUES (?, ?, ?)",
641 conn.execute("INSERT INTO output_history VALUES (?, ?, ?)",
642 (self.session_number,)+line)
642 (self.session_number,)+line)
643
643
644 @needs_sqlite
644 @needs_sqlite
645 def writeout_cache(self, conn=None):
645 def writeout_cache(self, conn=None):
646 """Write any entries in the cache to the database."""
646 """Write any entries in the cache to the database."""
647 if conn is None:
647 if conn is None:
648 conn = self.db
648 conn = self.db
649
649
650 with self.db_input_cache_lock:
650 with self.db_input_cache_lock:
651 try:
651 try:
652 self._writeout_input_cache(conn)
652 self._writeout_input_cache(conn)
653 except sqlite3.IntegrityError:
653 except sqlite3.IntegrityError:
654 self.new_session(conn)
654 self.new_session(conn)
655 print("ERROR! Session/line number was not unique in",
655 print("ERROR! Session/line number was not unique in",
656 "database. History logging moved to new session",
656 "database. History logging moved to new session",
657 self.session_number)
657 self.session_number)
658 try:
658 try:
659 # Try writing to the new session. If this fails, don't
659 # Try writing to the new session. If this fails, don't
660 # recurse
660 # recurse
661 self._writeout_input_cache(conn)
661 self._writeout_input_cache(conn)
662 except sqlite3.IntegrityError:
662 except sqlite3.IntegrityError:
663 pass
663 pass
664 finally:
664 finally:
665 self.db_input_cache = []
665 self.db_input_cache = []
666
666
667 with self.db_output_cache_lock:
667 with self.db_output_cache_lock:
668 try:
668 try:
669 self._writeout_output_cache(conn)
669 self._writeout_output_cache(conn)
670 except sqlite3.IntegrityError:
670 except sqlite3.IntegrityError:
671 print("!! Session/line number for output was not unique",
671 print("!! Session/line number for output was not unique",
672 "in database. Output will not be stored.")
672 "in database. Output will not be stored.")
673 finally:
673 finally:
674 self.db_output_cache = []
674 self.db_output_cache = []
675
675
676
676
677 class HistorySavingThread(threading.Thread):
677 class HistorySavingThread(threading.Thread):
678 """This thread takes care of writing history to the database, so that
678 """This thread takes care of writing history to the database, so that
679 the UI isn't held up while that happens.
679 the UI isn't held up while that happens.
680
680
681 It waits for the HistoryManager's save_flag to be set, then writes out
681 It waits for the HistoryManager's save_flag to be set, then writes out
682 the history cache. The main thread is responsible for setting the flag when
682 the history cache. The main thread is responsible for setting the flag when
683 the cache size reaches a defined threshold."""
683 the cache size reaches a defined threshold."""
684 daemon = True
684 daemon = True
685 stop_now = False
685 stop_now = False
686 enabled = True
686 enabled = True
687 def __init__(self, history_manager):
687 def __init__(self, history_manager):
688 super(HistorySavingThread, self).__init__()
688 super(HistorySavingThread, self).__init__()
689 self.history_manager = history_manager
689 self.history_manager = history_manager
690 self.enabled = history_manager.enabled
690 self.enabled = history_manager.enabled
691 atexit.register(self.stop)
691 atexit.register(self.stop)
692
692
693 @needs_sqlite
693 @needs_sqlite
694 def run(self):
694 def run(self):
695 # We need a separate db connection per thread:
695 # We need a separate db connection per thread:
696 try:
696 try:
697 self.db = sqlite3.connect(self.history_manager.hist_file,
697 self.db = sqlite3.connect(self.history_manager.hist_file,
698 **self.history_manager.connection_options
698 **self.history_manager.connection_options
699 )
699 )
700 while True:
700 while True:
701 self.history_manager.save_flag.wait()
701 self.history_manager.save_flag.wait()
702 if self.stop_now:
702 if self.stop_now:
703 return
703 return
704 self.history_manager.save_flag.clear()
704 self.history_manager.save_flag.clear()
705 self.history_manager.writeout_cache(self.db)
705 self.history_manager.writeout_cache(self.db)
706 except Exception as e:
706 except Exception as e:
707 print(("The history saving thread hit an unexpected error (%s)."
707 print(("The history saving thread hit an unexpected error (%s)."
708 "History will not be written to the database.") % repr(e))
708 "History will not be written to the database.") % repr(e))
709
709
710 def stop(self):
710 def stop(self):
711 """This can be called from the main thread to safely stop this thread.
711 """This can be called from the main thread to safely stop this thread.
712
712
713 Note that it does not attempt to write out remaining history before
713 Note that it does not attempt to write out remaining history before
714 exiting. That should be done by calling the HistoryManager's
714 exiting. That should be done by calling the HistoryManager's
715 end_session method."""
715 end_session method."""
716 self.stop_now = True
716 self.stop_now = True
717 self.history_manager.save_flag.set()
717 self.history_manager.save_flag.set()
718 self.join()
718 self.join()
719
719
720
720
721 # To match, e.g. ~5/8-~2/3
721 # To match, e.g. ~5/8-~2/3
722 range_re = re.compile(r"""
722 range_re = re.compile(r"""
723 ((?P<startsess>~?\d+)/)?
723 ((?P<startsess>~?\d+)/)?
724 (?P<start>\d+) # Only the start line num is compulsory
724 (?P<start>\d+) # Only the start line num is compulsory
725 ((?P<sep>[\-:])
725 ((?P<sep>[\-:])
726 ((?P<endsess>~?\d+)/)?
726 ((?P<endsess>~?\d+)/)?
727 (?P<end>\d+))?
727 (?P<end>\d+))?
728 $""", re.VERBOSE)
728 $""", re.VERBOSE)
729
729
730
730
731 def extract_hist_ranges(ranges_str):
731 def extract_hist_ranges(ranges_str):
732 """Turn a string of history ranges into 3-tuples of (session, start, stop).
732 """Turn a string of history ranges into 3-tuples of (session, start, stop).
733
733
734 Examples
734 Examples
735 --------
735 --------
736 list(extract_input_ranges("~8/5-~7/4 2"))
736 list(extract_input_ranges("~8/5-~7/4 2"))
737 [(-8, 5, None), (-7, 1, 4), (0, 2, 3)]
737 [(-8, 5, None), (-7, 1, 4), (0, 2, 3)]
738 """
738 """
739 for range_str in ranges_str.split():
739 for range_str in ranges_str.split():
740 rmatch = range_re.match(range_str)
740 rmatch = range_re.match(range_str)
741 if not rmatch:
741 if not rmatch:
742 continue
742 continue
743 start = int(rmatch.group("start"))
743 start = int(rmatch.group("start"))
744 end = rmatch.group("end")
744 end = rmatch.group("end")
745 end = int(end) if end else start+1 # If no end specified, get (a, a+1)
745 end = int(end) if end else start+1 # If no end specified, get (a, a+1)
746 if rmatch.group("sep") == "-": # 1-3 == 1:4 --> [1, 2, 3]
746 if rmatch.group("sep") == "-": # 1-3 == 1:4 --> [1, 2, 3]
747 end += 1
747 end += 1
748 startsess = rmatch.group("startsess") or "0"
748 startsess = rmatch.group("startsess") or "0"
749 endsess = rmatch.group("endsess") or startsess
749 endsess = rmatch.group("endsess") or startsess
750 startsess = int(startsess.replace("~","-"))
750 startsess = int(startsess.replace("~","-"))
751 endsess = int(endsess.replace("~","-"))
751 endsess = int(endsess.replace("~","-"))
752 assert endsess >= startsess
752 assert endsess >= startsess
753
753
754 if endsess == startsess:
754 if endsess == startsess:
755 yield (startsess, start, end)
755 yield (startsess, start, end)
756 continue
756 continue
757 # Multiple sessions in one range:
757 # Multiple sessions in one range:
758 yield (startsess, start, None)
758 yield (startsess, start, None)
759 for sess in range(startsess+1, endsess):
759 for sess in range(startsess+1, endsess):
760 yield (sess, 1, None)
760 yield (sess, 1, None)
761 yield (endsess, 1, end)
761 yield (endsess, 1, end)
762
762
763
763
764 def _format_lineno(session, line):
764 def _format_lineno(session, line):
765 """Helper function to format line numbers properly."""
765 """Helper function to format line numbers properly."""
766 if session == 0:
766 if session == 0:
767 return str(line)
767 return str(line)
768 return "%s#%s" % (session, line)
768 return "%s#%s" % (session, line)
769
769
770
770
General Comments 0
You need to be logged in to leave comments. Login now