21 Nov
2013
21 Nov
'13
12:55 a.m.
On 2013-11-18 12:09 +1000 Allan McRae wrote:
What did you think about the proposal in an earlier reply to this thread:
source=("mirror://_foo/blah/blah/foo.tar.gz") _foo=("http://foo.com/" "http://bar.com/")
I think we can bet safely that "mirror://" will not become a valid protocol. And we are replacing the start of the URL so just using the initial "/" as the delimiter is fine.
Allan
That works, but I would prefer differential syntax to prevent confusion with regular URLs. "MIRROR://" should be enough. It stands out, and we already use upper-case for "SKIP" in the checksums array, so I think it is stylistically coherent. Regards, Xyne