Skip to content

Instantly share code, notes, and snippets.

@hit0ri
Created June 4, 2019 13:48
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save hit0ri/7bfe55fb2d8eca9e93031f2a79a3ecfc to your computer and use it in GitHub Desktop.
Save hit0ri/7bfe55fb2d8eca9e93031f2a79a3ecfc to your computer and use it in GitHub Desktop.
cat ~/.local/share/fonts/Input/SETTINGS.txt
INPUT
SETTINGS
These fonts have been customized with the settings below. You can further customize
your fonts with the inputCustomize.py command-line tool found in this package, or
by re-downloading the fonts at <http://input.fontbureau.com/download>.
Four Style Family
Regular: InputMono-Regular.ttf
Italic: InputMono-Italic.ttf
Bold: InputMono-Bold.ttf
Bold Italic: InputMono-BoldItalic.ttf
Alternates
--a=ss
--asterisk=height
--braces=straight
--g=ss
--i=topserif
--l=serif
--zero=slash
Line Height: 1.3×
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment