Skip to content

6 DR 20230906

Jump to bottom
Manuel Hatzl edited this page Sep 6, 2023 · 1 revision

keywords: wiki-link

Remove link command

The link command was removed, because first tests and feedback showed, that links directly in code are too distracting. Many URLs are very long, which hides the relevant requirement ID, making it harder to read.

It would be better to offer an IDE plugin that can link to wiki sections when hovering over a reference.

Alternative

Using some web-service to shorten the URL. Something like mantra.org/<some random id>, where the random ID redirects to the wiki section. This solution would require a web-service, and automatic synchronization between these random IDs and wiki sections.

In comparison, the IDE plugin seems more practical

Please create an issue if you found any spelling mistakes.
You may also create an issue if you think the content of this wiki should be improved.

Note: This wiki is managed in its own repository. Any commits made using the edit button will be overwritten.

Note: Issues for the wiki are handled in the mantra repository, but pull requests for the wiki are handled in the mantra-wiki repository.

This wiki is MIT licensed, and works together with mantra.

Clone this wiki locally