Patrick Steinhardt [off-list ref] writes:
quoted
This is probably a useful improvement.
Having said that, when I mentioned "glob", I meant to also support
something like this:
https://www[1-4].ibm.com/
The problem with additional extended syntax like proposed by you
is that we would indeed need an escaping mechanism here.
True. I think a true shell globbing is overkill (so is regexp) and
just a simple wildcarding with '*' would be a good first step that
is easy to explain and later extend as needed.
Thanks.