Tenho posto GREP_OPTIONS="--ignore-case --color"
em ~/.bashrc
como 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.