Thanks for that! It sounds like zsh is worth whatever small troubles it could cause. I think that settles it. I'll be spending some time switching to zsh next

Thanks for that! It sounds like zsh is worth whatever small troubles it could cause. I think that settles it. I'll be spending some time switching to zsh next time I have the chance.