Skip to content

Enable formating checks fort typst files#324

Merged
Tropicao merged 11 commits into
bootlin:masterfrom
Tropicao:typstyle
May 12, 2026
Merged

Enable formating checks fort typst files#324
Tropicao merged 11 commits into
bootlin:masterfrom
Tropicao:typstyle

Conversation

@Tropicao
Copy link
Copy Markdown
Contributor

This PR brings formatting checks based on typstyle for the new materials written in typst:

  • the first set of commits reformat .typ files. Every slide deck has been verified with diff-pdf to make sure that the reformatting has not introduced any unwanted visual change
  • the final commit introduces typstyle check on PR. For now, the check isn't binding, it is only informational. If it proves to fulfill correctly its purpose, it will be enforced more strictly.

Tropicao added 11 commits May 12, 2026 22:20
Reformat freshly integrated typst slides with the following command:

 $ find . -name "*typ" -exec typstyle -i {} \;

No special check has been done for the "common" slides defining the
theme, more thorough checks are done for the next commits involving some
complete slide decks.

Signed-off-by: Alexis Lothoré <alexis.lothore@bootlin.com>
Reformat freshly integrated typst slides with the following command:

 $ find . -name "*typ" -exec typstyle -i {} \;

The new typst slides have been built before and after the re-formatting,
and the difference has been inspected with the following command:

 $ diff-pdf slides-pre.pdf slides-post.pdf -s -m --output-diff=diff.pdf

No visual difference is observed on the training slides.

Signed-off-by: Alexis Lothoré <alexis.lothore@bootlin.com>
Reformat freshly integrated typst slides with the following command:

 $ find . -name "*typ" -exec typstyle -i {} \;

The new typst slides have been built before and after the re-formatting,
and the difference has been inspected with the following command:

 $ diff-pdf slides-pre.pdf slides-post.pdf -s -m --output-diff=diff.pdf

No visual difference is observed on the training slides.

Signed-off-by: Alexis Lothoré <alexis.lothore@bootlin.com>
Reformat freshly integrated typst slides with the following command:

 $ find . -name "*typ" -exec typstyle -i {} \;

The new typst slides have been built before and after the re-formatting,
and the difference has been inspected with the following command:

 $ diff-pdf slides-pre.pdf slides-post.pdf -s -m --output-diff=diff.pdf

No visual difference is observed on the training slides.

Signed-off-by: Alexis Lothoré <alexis.lothore@bootlin.com>
Reformat freshly integrated typst slides with the following command:

 $ find . -name "*typ" -exec typstyle -i {} \;

The new typst slides have been built before and after the re-formatting,
and the difference has been inspected with the following command:

 $ diff-pdf slides-pre.pdf slides-post.pdf -s -m --output-diff=diff.pdf

No visual difference is observed on the training slides.

Signed-off-by: Alexis Lothoré <alexis.lothore@bootlin.com>
Reformat freshly integrated typst slides with the following command:

 $ find . -name "*typ" -exec typstyle -i {} \;

The new typst slides have been built before and after the re-formatting,
and the difference has been inspected with the following command:

 $ diff-pdf slides-pre.pdf slides-post.pdf -s -m --output-diff=diff.pdf

No visual difference is observed on the training slides.

Signed-off-by: Alexis Lothoré <alexis.lothore@bootlin.com>
Reformat freshly integrated typst slides with the following command:

 $ find . -name "*typ" -exec typstyle -i {} \;

The new typst slides have been built before and after the re-formatting,
and the difference has been inspected with the following command:

 $ diff-pdf slides-pre.pdf slides-post.pdf -s -m --output-diff=diff.pdf

The only slight difference is on slide 169 (BCC Tools example), which is
slightly very shifted upwards, but the difference is only visible with
diff-pdf, visually the slides look the same, so the diff is tolerable.

Signed-off-by: Alexis Lothoré <alexis.lothore@bootlin.com>
Reformat freshly integrated typst slides with the following command:

 $ find . -name "*typ" -exec typstyle -i {} \;

The new typst slides have been built before and after the re-formatting,
and the difference has been inspected with the following command:

 $ diff-pdf slides-pre.pdf slides-post.pdf -s -m --output-diff=diff.pdf

No visual difference is observed on the training slides.

Signed-off-by: Alexis Lothoré <alexis.lothore@bootlin.com>
Reformat freshly integrated typst slides with the following command:

 $ find . -name "*typ" -exec typstyle -i {} \;

The new typst slides have been built before and after the re-formatting,
and the difference has been inspected with the following command:

 $ diff-pdf slides-pre.pdf slides-post.pdf -s -m --output-diff=diff.pdf

There is a slight difference spotted on slide 248 (Example: from
ConnMann), but it is only visible in diff-pdf, not when putting the two
slide decks next to each other, so it is tolerable.

Signed-off-by: Alexis Lothoré <alexis.lothore@bootlin.com>
Some standalone slides, despite not being used in one of the converted
trainings, have been converted to typ. Drop those unused slides.

Signed-off-by: Alexis Lothoré <alexis.lothore@bootlin.com>
Signed-off-by: Alexis Lothoré <alexis.lothore@bootlin.com>
@Tropicao Tropicao merged commit c1bc25d into bootlin:master May 12, 2026
14 checks passed
@Tropicao Tropicao deleted the typstyle branch May 12, 2026 22:21
@github-actions github-actions Bot locked and limited conversation to collaborators May 12, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant