Stream: Miscellaneous

Topic: link detection


view this post on Zulip 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)

view this post on Zulip 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.

view this post on Zulip Ali Caglayan (Aug 09 2021 at 11:39):

There is this https://zulip.iemn.fr/help/add-a-custom-linkification-filter

view this post on Zulip 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...

view this post on Zulip 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: Aug 19 2022 at 21:02 UTC