bashrc: grep options