romkatv/powerlevel10k The configuration of powerline is way too tedious. I would rather stay with this theme.