respect urlinclude/urlexclude of other web special remotes
authorJoey Hess <joeyh@joeyh.name>
Tue, 10 Jan 2023 18:58:53 +0000 (14:58 -0400)
committerJoey Hess <joeyh@joeyh.name>
Tue, 10 Jan 2023 18:58:53 +0000 (14:58 -0400)
commit8a305e5fa3b3fc5a2f776f2c87aa320fcd2ae980
treee7504d5147e4eac3eecf5d8d3fde3e1c5a769305
parent0fc476f16e104595566bea84e8ac3d1d5679f8e5
respect urlinclude/urlexclude of other web special remotes

When a web special remote does not have urlinclude/urlexclude
configured, make it respect the configuration of other web special
remotes and avoid using urls that match the config of another.

Note that the other web special remote does not have to be enabled.
That seems ok, it would have been extra work to check for only ones that
are enabled.

The implementation does mean that the web special remote re-parses
its own config once at startup, as well as re-parsing the configs of any
other web special remotes. This should be a very small slowdown
unless there are lots of web special remotes.

Sponsored-by: Dartmouth College's DANDI project
Remote/Web.hs
doc/special_remotes/web.mdwn
doc/tips/using_the_web_as_a_special_remote.mdwn
doc/todo/Allow_for_URLs_prioritization_WITHIN___40__web__41___remote/comment_10_ff4c23b4ccaf649a9914f4aa4435968d._comment [new file with mode: 0644]
doc/todo/Allow_for_URLs_prioritization_WITHIN___40__web__41___remote/comment_9_4029b264ea2b0d47e6949f832af69282._comment [new file with mode: 0644]