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

Fix Iosevka Family names #1019

Merged
merged 1 commit into from
Dec 21, 2022
Merged

Conversation

Finii
Copy link
Collaborator

@Finii Finii commented Dec 4, 2022

Description

[why]
The Iosevka font has a lot of different families. A lot users install just all "Iosevka Nerd Font" families, and this can break in a lot different ways.

I will try to collect Issues possibly caused by this in PR #1019.

[how]
Just turn the feature on in font-patcher (via patch-em-all's config).

Requirements / Checklist

What does this Pull Request (PR) do?

Enable --makegroups for Iosevka on release runs.

How should this be manually tested?

Any background context you can provide?

What are the relevant tickets (if any)?

Screenshots (if appropriate or helpful)

For example in Gnome Terminal, this is how all the Iosevka Families are shown at the moment:

image

And this is after this PR has been pulled:

image

Note that the Nerd Font part is missing in the 'now' screenshot :-o This not even breaks all the patched Iosevkas, because they mix up all families, but also interfere with parallel installed Iosevka-original :-(

[why]
The Iosevka font has a lot of different families. A lot users install
just all "Iosevka Nerd Font" families, and this can break in a lot
different ways.

I will try to collect Issues possibly caused by this in PR #1019.

[how]
Just turn the feature on in font-patcher (via patch-em-all's config).

Signed-off-by: Fini Jastrow <[email protected]>
@Finii
Copy link
Collaborator Author

Finii commented Dec 4, 2022

@Finii Finii added this to the v2.3.0 milestone Dec 4, 2022
@Finii Finii merged commit 914baa0 into master Dec 21, 2022
@Finii Finii deleted the feature/Iosevka-generated-with-correct-family branch December 21, 2022 14:44
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.

1 participant