Ho impostato GREP_OPTIONS="--ignore-case --color"a ~/.bashrccome normalmente voglio grep al lavoro maiuscole e minuscole. Tuttavia, ci sono momenti in cui ho bisogno di grep per cercare con distinzione tra maiuscole e minuscole, ma la pagina man non suggerisce un parametro per questo.
Come posso raggiungere questo obiettivo?
\command-nameè usato per riferirsi al comando originale e non all'alias. Davvero utile.