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

Add Ubuntu Sans #1583

Merged
merged 1 commit into from
Apr 2, 2024
Merged

Add Ubuntu Sans #1583

merged 1 commit into from
Apr 2, 2024

Conversation

Finii
Copy link
Collaborator

@Finii Finii commented Apr 2, 2024

Prevent the "SansMono" becomes "SansM" rule for UbuntuSansMono.

Fixes: #1435

Requirements / Checklist

What does this Pull Request (PR) do?

How should this be manually tested?

Any background context you can provide?

What are the relevant tickets (if any)?

Screenshots (if appropriate or helpful)

Prevent the "SansMono" becomes "SansM" rule for UbuntuSansMono.

Fixes: #1435

Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>
@Finii Finii added this to the v3.2.0 milestone Apr 2, 2024
@Finii Finii merged commit 09c6c89 into master Apr 2, 2024
5 checks passed
@Finii Finii deleted the feature/add-ubuntu-sans branch April 2, 2024 16:21
@olivercalder
Copy link

Does this entail that Ubuntu Sans Mono will be available as part of the Ubuntu Sans nerd font?

@Finii
Copy link
Collaborator Author

Finii commented Apr 2, 2024

I thought it would be ok to have one release archive with UbuntuSans and UbuntuSansMono together. Is that not good?

image

with Ubuntu Sans Mono as preview font 😬

image

@Finii
Copy link
Collaborator Author

Finii commented Apr 2, 2024

We can still change that, I just realized I need to create a new Font-Logos release first to pull that into Nerd Font 😬

@olivercalder
Copy link

That's great, I just wanted to make sure that it was the case that mono would be included as well (I'm not very familiar with font packaging). Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Update Ubuntu Nerd Font to use refreshed 2023 Ubuntu Font
2 participants