-
Notifications
You must be signed in to change notification settings - Fork 0
6 DR 20230906
keywords: wiki-link
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.
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.
{{
Sidebar that is displayed on every wiki page.
}}
Last update: 2023-09-28_14:02 UTC
Repository: mhatzl/mantra
Branch: main
Commit: 82d26a6