Ich habe festgelegt GREP_OPTIONS="--ignore-case --color"in , ~/.bashrcwie ich normalerweise grep Arbeit Groß- und Kleinschreibung will. Es gibt jedoch Zeiten, in denen ich grep benötige, um tatsächlich zwischen Groß- und Kleinschreibung zu suchen, aber die Manpage schlägt keinen Parameter dafür vor.
Wie kann ich das erreichen?
\command-nameverwendet wird, um auf den ursprünglichen Befehl und nicht auf den Alias zu verweisen. Wirklich hilfreich.