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...