Tenho posto GREP_OPTIONS="--ignore-case --color"em ~/.bashrccomo eu normalmente quero grep ao trabalho case-insensitive. No entanto, há momentos em que eu preciso do grep para realmente fazer distinção entre maiúsculas e minúsculas, mas a página do manual não sugere um parâmetro para isso. Como...