Case insensitive filter search
fredcallaway opened this issue ยท 4 comments
fredcallaway commented
I think the filter should be case-insensitive. I'm sure this is straightforward, but I don't know enough bash to know where in the pipeline this would go.
davidawad commented
I still want this and can't find anything on it.