Me he puesto GREP_OPTIONS="--ignore-case --color"en ~/.bashrccomo normalmente lo quiero grep para el trabajo entre mayúsculas y minúsculas. Sin embargo, hay momentos en que necesito grep para buscar mayúsculas y minúsculas, pero la página del manual no sugiere un parámetro para esto. ¿Cómo puedo...