zshrc: use int for _sev_exectime

[dotfiles.git] / etc / pythonrc

# TODO: prevent ~/.python_history from being written?
# https://unix.stackexchange.com/q/630642
def clear():
    import os
    os.system('clear')