Add history management to Python REPL #python

.pythonrc

def history(numlines = -1):
    import readline
    total = readline.get_current_history_length()
    if numlines == -1:
        numlines = total
    if numlines > 0:
        for i in range(total - numlines + 1, total + 1):
            print("%3d %s" % (i, readline.get_history_item(i)))

def bang(linenum = -1):
    import readline
    total = readline.get_current_history_length()
    if linenum == -1:
        linenum = total - 1
    if linenum > 0:
        r = readline.get_history_item(linenum)
        exec(r)
        readline.replace_history_item(total - 1, r)