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 posso conseguir isso?
\command-nameé usado para se referir ao comando original e não ao alias. Realmente util.