On April 30, 2015 9:19:18 AM GMT+02:00, Alexander Hall <alexan...@beard.se> wrote:
>While the situation you describe is admittedly horribly annoying >(BTDT), we do allow 'grep -I "123"', which would also seem >"pointless". Bah. That's lowercase -i, obviously. Stupid phone. /Alexander
