ref to docs in zulip

Stream: new members

[Shanghe Chen]

Hi I often saw posts with links to docs like doc#.. like doc#CategoryTheory.eqToHom Is it a bot for this or is it manually typed?

[Shanghe Chen]

I always typed it manually, wondering if there is some bot or other feature of zulip for this

[Richard Osborn]

It's a zulip feature: https://zulip.com/help/add-a-custom-linkifier

[Kyle Miller]

The linkifier is docs#CategoryTheory.eqToHom rather than doc#CategoryTheory.eqToHom

image.png

[Shanghe Chen]

Wow nice!

[Shanghe Chen]

test docs#CategoryTheory.Limits.cospanExt_inv_app_one

[Shanghe Chen]

so the workflow for it is from text to links hhh… I thought it converts links to specific formats. I am not sure if I am using it correctly or not though

[Shanghe Chen]

RPReplay_Final1716957685.mp4