Ho impostato GREP_OPTIONS="--ignore-case --color"
a ~/.bashrc
come 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.