To .bashrc, add greptex alias, and functions ero and ebro.