Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Interactive Documentation: Container does not have font Noto Sans installed #4048

Open
behackl opened this issue Dec 6, 2024 Discussed in #4047 · 2 comments · May be fixed by #4069
Open

Interactive Documentation: Container does not have font Noto Sans installed #4048

behackl opened this issue Dec 6, 2024 Discussed in #4047 · 2 comments · May be fixed by #4069
Labels
easy infrastructure Anything related to our infrastructure

Comments

@behackl
Copy link
Member

behackl commented Dec 6, 2024

Discussed in #4047

It would be nice if the font was added to the built docker image.

@behackl behackl added infrastructure Anything related to our infrastructure easy labels Dec 6, 2024
@Reckadon
Copy link

Hey, i'm new to the manim codebase, hence wanted to confirm,
The docker image is built using the Dockerfile here right: https://github.com/ManimCommunity/manim/blob/main/docker/Dockerfile ?

@Reckadon Reckadon linked a pull request Dec 24, 2024 that will close this issue
3 tasks
@Reckadon
Copy link

@behackl please review this PR. feedback appreciated!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
easy infrastructure Anything related to our infrastructure
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants