Skip to content

switch to rumdl for markdown lint and format#2124

Merged
zowoq merged 2 commits intomasterfrom
rumdl
Mar 28, 2026
Merged

switch to rumdl for markdown lint and format#2124
zowoq merged 2 commits intomasterfrom
rumdl

Conversation

@zowoq
Copy link
Copy Markdown
Contributor

@zowoq zowoq commented Feb 8, 2026

https://rumdl.dev/link-validation/

rumdl does the equivalent of lychee offline check so there isn't much value in keeping lychee for the online check that I only run rarely and we don't have many external links anyway.

Will keep lychee for now as rumdl link checking doesn't seem to be stable.

@zowoq zowoq force-pushed the rumdl branch 4 times, most recently from ce0ac5b to 6ce6e76 Compare February 16, 2026 05:15
@github-actions github-actions bot added the docs label Mar 3, 2026
@zowoq zowoq force-pushed the rumdl branch 3 times, most recently from 9cc2051 to 1fa5ea5 Compare March 17, 2026 07:52
@zowoq zowoq force-pushed the rumdl branch 2 times, most recently from feeee7b to 3d9b1b4 Compare March 25, 2026 22:52
@zowoq zowoq marked this pull request as ready for review March 26, 2026 03:03
dev/docs.nix Outdated
''
cp --no-preserve=mode -r $files/* .
cp --no-preserve=mode ${config.packages.docs-json}/*.json docs
rumdl check # rumdl-check from treefmt exits with 0
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

rumdl-check from treefmt exits with 0

Sorry, what do you mean by this?

devdoc/hosts.md Outdated
You will need to set your admin username if it doesn't match your local username.

```
```text
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
```text
```sshconfig

@zowoq zowoq added this pull request to the merge queue Mar 28, 2026
Merged via the queue into master with commit b42a883 Mar 28, 2026
3 checks passed
@zowoq zowoq deleted the rumdl branch March 28, 2026 01:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants