ignore repl-history
remove powerline theme, use built-in