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

[Docker image] Install fonts-dejavu for use by terminals #86

Merged
merged 1 commit into from
Feb 9, 2024

Conversation

yuvipanda
Copy link
Contributor

@yuvipanda yuvipanda commented Feb 6, 2024

This is the default terminal font, and when not
installed, everything just renders weird.

EDIT by Erik: Closes #85 as its an alternative way of solving the same thing

This is the default terminal font, and when not
installed, everything just renders weird.
Copy link

github-actions bot commented Feb 6, 2024

Binder 👈 Launch a binder notebook on this branch for commit 958fc82

I will automatically update this comment whenever this PR is modified

@yuvipanda
Copy link
Contributor Author

image

This fixes it!

Copy link
Member

@consideRatio consideRatio left a comment

Choose a reason for hiding this comment

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

Nice!!

@consideRatio consideRatio added the bug Something isn't working label Feb 8, 2024
@consideRatio consideRatio changed the title Install fonts-dejavu [Docker image] Install fonts-dejavu for terminal Feb 8, 2024
@consideRatio consideRatio changed the title [Docker image] Install fonts-dejavu for terminal [Docker image] Install fonts-dejavu for use by terminals Feb 8, 2024
@consideRatio
Copy link
Member

This LGTM, @manics wdyt?

@consideRatio consideRatio mentioned this pull request Feb 8, 2024
@manics manics merged commit 5cdf4d8 into main Feb 9, 2024
6 checks passed
@manics manics deleted the yuvipanda-patch-3 branch February 9, 2024 11:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants