Skip to content

build(doc): fix various things preventing to generate optionsDoc for services and programs.#1942

Merged
eljamm merged 2 commits into
ngi-nix:mainfrom
ju1m:fix-doc
Jan 13, 2026
Merged

build(doc): fix various things preventing to generate optionsDoc for services and programs.#1942
eljamm merged 2 commits into
ngi-nix:mainfrom
ju1m:fix-doc

Conversation

@ju1m
Copy link
Copy Markdown

@ju1m ju1m commented Jan 8, 2026

Done

  • Quote anti-quotes in literalExpressions
  • Add dummy missing descriptions.
  • Add dummy missing defaultTexts.

Related

Copy link
Copy Markdown
Contributor

@eljamm eljamm left a comment

Choose a reason for hiding this comment

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

I think this is a good opportunity to improve the documentation a bit, in addition to adding the missing descriptions.

Comment thread projects/types.nix Outdated
Comment thread projects/types.nix Outdated
Comment thread projects/types.nix Outdated
Comment thread projects/types.nix Outdated
Comment thread projects/types.nix Outdated
Comment thread projects/types.nix Outdated
Comment thread projects/types.nix Outdated
Comment thread projects/types.nix Outdated
Comment thread projects/types.nix Outdated
Comment thread projects/types.nix Outdated
Julien Moutinho and others added 2 commits January 12, 2026 14:04
@ju1m
Copy link
Copy Markdown
Author

ju1m commented Jan 12, 2026

  • Improve descriptions using @eljamm suggestions

@ju1m ju1m mentioned this pull request Jan 12, 2026
1 task
Copy link
Copy Markdown
Contributor

@eljamm eljamm left a comment

Choose a reason for hiding this comment

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

Looks good, thanks!

@eljamm eljamm merged commit 37037f0 into ngi-nix:main Jan 13, 2026
12 checks passed
@github-project-automation github-project-automation Bot moved this to Done in Nix@NGI Jan 13, 2026
@ju1m ju1m deleted the fix-doc branch January 13, 2026 07:37
@ju1m ju1m mentioned this pull request Jan 13, 2026
1 task
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

2 participants