FM / core

/opt/imh-python/lib/python3.9/site-packages/IPython/core/

/opt/imh-python/lib/python3.9/site-packages/IPython/core

Name	Size	Mode	Actions
magics/	-	0755	rm
profile/	-	0755	rm
tests/	-	0755	rm
__pycache__/	-	0755	rm
alias.py	10034	0644	edit dl rm
application.py	18937	0644	edit dl rm
async_helpers.py	4297	0644	edit dl rm
autocall.py	1991	0644	edit dl rm
builtin_trap.py	3009	0644	edit dl rm
compilerop.py	7730	0644	edit dl rm
completer.py	117850	0644	edit dl rm
completerlib.py	12365	0644	edit dl rm
crashhandler.py	8508	0644	edit dl rm
debugger.py	38872	0644	edit dl rm
display.py	42503	0644	edit dl rm
displayhook.py	12962	0644	edit dl rm
displaypub.py	4944	0644	edit dl rm
display_functions.py	12918	0644	edit dl rm
display_trap.py	2098	0644	edit dl rm
error.py	1734	0644	edit dl rm
events.py	5251	0644	edit dl rm
excolors.py	4928	0644	edit dl rm
extensions.py	5780	0644	edit dl rm
formatters.py	34981	0644	edit dl rm
getipython.py	912	0644	edit dl rm
guarded_eval.py	25037	0644	edit dl rm
history.py	34475	0644	edit dl rm
historyapp.py	5909	0644	edit dl rm
hooks.py	5663	0644	edit dl rm
inputsplitter.py	29041	0644	edit dl rm
inputtransformer.py	18184	0644	edit dl rm
inputtransformer2.py	29393	0644	edit dl rm
interactiveshell.py	153761	0644	edit dl rm
latex_symbols.py	31288	0644	edit dl rm
logger.py	8441	0644	edit dl rm
macro.py	1734	0644	edit dl rm
magic.py	28899	0644	edit dl rm
magic_arguments.py	9734	0644	edit dl rm
oinspect.py	39898	0644	edit dl rm
page.py	11753	0644	edit dl rm
payload.py	1758	0644	edit dl rm
payloadpage.py	1431	0644	edit dl rm
prefilter.py	25588	0644	edit dl rm
profileapp.py	10631	0644	edit dl rm
profiledir.py	8029	0644	edit dl rm
prompts.py	607	0644	edit dl rm
pylabtools.py	14018	0644	edit dl rm
release.py	2178	0644	edit dl rm
shellapp.py	17845	0644	edit dl rm
splitinput.py	4836	0644	edit dl rm
ultratb.py	55803	0644	edit dl rm
usage.py	13542	0644	edit dl rm
__init__.py	0	0644	edit dl rm

Edit: /opt/imh-python/lib/python3.9/site-packages/IPython/core/historyapp.py (5909B)

# encoding: utf-8
"""
An application for managing IPython history.

To be invoked as the `ipython history` subcommand.
"""

import sqlite3
from pathlib import Path

from traitlets.config.application import Application
from .application import BaseIPythonApplication
from traitlets import Bool, Int, Dict
from ..utils.io import ask_yes_no

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
the old file with the new. Use the `--keep=` argument to specify a number
other than 1000.
"""

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`
"""

class HistoryTrim(BaseIPythonApplication):
    description = trim_hist_help
    
    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(dict(
        backup = ({'HistoryTrim' : {'backup' : True}},
            backup.help
        )
    ))

aliases=Dict(dict(
        keep = 'HistoryTrim.keep'
    ))
    
    def start(self):
        profile_dir = Path(self.profile_dir.location)
        hist_file = profile_dir / "history.sqlite"
        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)
            print("Not doing anything. Use --keep= argument to keep fewer entries")
            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()
        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,)))
        con.close()
        
        # Create the new history database.
        new_hist_file = profile_dir / "history.sqlite.new"
        i = 0
        while new_hist_file.exists():
            # Make sure we don't interfere with an existing file.
            i += 1
            new_hist_file = profile_dir / ("history.sqlite.new" + str(i))
        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()

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)
        new_db.close()

if self.backup:
            i = 1
            backup_hist_file = profile_dir / ("history.sqlite.old.%d" % i)
            while backup_hist_file.exists():
                i += 1
                backup_hist_file = profile_dir / ("history.sqlite.old.%d" % i)
            hist_file.rename(backup_hist_file)
            print("Backed up longer history file to", backup_hist_file)
        else:
            hist_file.unlink()
        
        new_hist_file.rename(hist_file)

class HistoryClear(HistoryTrim):
    description = clear_hist_help
    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(dict(
        force = ({'HistoryClear' : {'force' : True}},
            force.help),
        f = ({'HistoryTrim' : {'force' : True}},
            force.help
        )
    ))
    aliases = Dict()

def start(self):
        if self.force or ask_yes_no("Really delete all ipython history? ",
                default="no", interrupt="no"):
            HistoryTrim.start(self)

class HistoryApp(Application):
    name = u'ipython-history'
    description = "Manage the IPython history database."

subcommands = Dict(dict(
        trim = (HistoryTrim, HistoryTrim.description.splitlines()[0]),
        clear = (HistoryClear, HistoryClear.description.splitlines()[0]),
    ))

def start(self):
        if self.subapp is None:
            print("No subcommand specified. Must specify one of: %s" % \
                                                    (self.subcommands.keys()))
            print()
            self.print_description()
            self.print_subcommands()
            self.exit(1)
        else:
            return self.subapp.start()

cmd: