8 Apr
2018
8 Apr
'18
11:45 p.m.
On Mon, Apr 09, 2018 at 09:26:35AM +1200, Henri Menke wrote:
This only blows up on Zsh. I will contact the "config.guess" maintainer (from where I stole that snippet).
The unescaped caret is only a problem on zsh with EXTENDED_GLOB activated, but the effect of grep -q is problematic, and not using -E with a regexp is strange, for code that’s supposed to be highly portable. Best, Arthur