You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Apr 19, 2026. It is now read-only.
Repository navigation
This repository was archived by the owner on Apr 19, 2026. It is now read-only.
This would be nice, so someone could script adding the font to their system if it isn't available in their distribution's repos.
It's still possible thanks to Github's API and other CLI parsing tools, but it'd be less hoops to jump through if the repo supported releases/version numbers.
Activity
derektata commentedon Jan 9, 2022
This would be nice, so someone could script adding the font to their system if it isn't available in their distribution's repos.
It's still possible thanks to Github's API and other CLI parsing tools, but it'd be less hoops to jump through if the repo supported releases/version numbers.