Comment Comment by azaras It is worth, as a long time Bash user, to change to ZSH? parent azaras 4 years ago