Skip to content

Fix line indentation stripping#62

Merged
asymmetric merged 4 commits intonix-community:masterfrom
tweag:indentation
Jul 28, 2023
Merged

Fix line indentation stripping#62
asymmetric merged 4 commits intonix-community:masterfrom
tweag:indentation

Conversation

@infinisil
Copy link
Copy Markdown
Collaborator

@infinisil infinisil commented Jul 20, 2023

Fixes #1, line indentations being stripped.

This work is sponsored by Antithesis

Ping @pennae

@infinisil infinisil changed the title Indentation Fix line indentation stripping Jul 20, 2023
@infinisil
Copy link
Copy Markdown
Collaborator Author

Now using dedent for less code, as suggested by @pennae on Matrix :)

Copy link
Copy Markdown
Contributor

@pennae pennae left a comment

Choose a reason for hiding this comment

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

looks alright :)

hoping we'll at some point get an actual standard notation instead of the hacky parser we have now being used as a definition though

@nixos-discourse
Copy link
Copy Markdown

This pull request has been mentioned on NixOS Discourse. There might be relevant details there:

https://discourse.nixos.org/t/2023-07-24-documentation-team-meeting-notes-66/30885/1

@nixos-discourse
Copy link
Copy Markdown

This pull request has been mentioned on NixOS Discourse. There might be relevant details there:

https://discourse.nixos.org/t/2023-07-27-documentation-team-meeting-notes-67/30998/1

@infinisil infinisil force-pushed the indentation branch 2 times, most recently from 9bc64be to 33482e7 Compare July 28, 2023 15:52
infinisil and others added 4 commits July 28, 2023 18:00
Previously all the indentation was stripped all the time

Co-authored-by: pennae <82953136+pennae@users.noreply.github.com>
Arguably this shouldn't even be allowed, but erroring would not be in line
with how nixdoc works otherwise :)
@asymmetric asymmetric merged commit cd6c4be into nix-community:master Jul 28, 2023
@infinisil infinisil deleted the indentation branch July 28, 2023 16:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Whitespace is not preserved properly

4 participants