some more useful zsh functions