Gaëtan Gilbert (Aug 08 2021 at 18:01): Gaëtan Gilbert (Aug 08 2021 at 18:01):Can we make the link detection less agressive? foo.dev should not be a link
(I think it should not turn text into a link without a protocol)
Théo Zimmermann (Aug 09 2021 at 08:52):I don't know how to change that. I'm not sure it can be parametrized.
Ali Caglayan (Aug 09 2021 at 11:39):There is this https://zulip.iemn.fr/help/add-a-custom-linkification-filter
Ali Caglayan (Aug 09 2021 at 11:39):But I'm not sure it comes close enough. Though it might be interesting to automatically link github issues and prs...
Gaëtan Gilbert (Aug 09 2021 at 11:39):that's if we want more, not less
we already have it enabled, eg coq#1111
Last updated: Apr 20 2024 at 06:02 UTC