Aku telah menetapkan GREP_OPTIONS="--ignore-case --color"di ~/.bashrcseperti yang saya biasanya ingin grep bekerja case-sensitive. Namun, ada kalanya saya perlu grep untuk benar-benar mencari case-sensitive, tetapi halaman manual tidak menyarankan param untuk ini. Bagaimana saya bisa mencapai...