Request: Add Inter font

[Finii]

Discussed in #770

^{Originally posted by mainrs January 21, 2022}
Inter is a font that focuses on UI. It would be great to see it patched as well. This would allow one to use the font in polybar for example :)

It should be noted that Inter provides "advanced" features through OpenType. Not sure how that plays with nerd fonts.

Edit: I found an AUR script that does this: https://aur.archlinux.org/cgit/aur.git/tree/PKGBUILD?h=nerd-fonts-inter Looks that, for some reason, they had to patch font-patcher

[Finii]

Closing because transferred to #1095

[Finii]

"Inter" is a Reserved Font Name by Rasmus Andersson

We would need to rename the font. Any suggestion @mainrs ?

Edit:

Maybe Intra 😸

[mainrs]

I thought about InterNerd, as a play of words (inter- being a prefix for between or among). Intra is nice too! :D