grep -i
turned out to be significantly slower than translating to lowers before grepping, so I ended up using a variation of #2.
Thanks @mike-w for reminding me that a simple test goes a long way.
grep -i
turned out to be significantly slower than translating to lowers before grepping, so I ended up using a variation of #2.
Thanks @mike-w for reminding me that a simple test goes a long way.