diff options
| author | Jacob McDonnell <jacob@jacobmcdonnell.com> | 2026-04-26 16:38:00 -0400 |
|---|---|---|
| committer | Jacob McDonnell <jacob@jacobmcdonnell.com> | 2026-04-26 16:38:00 -0400 |
| commit | 97d5c458cfa039d857301e1ca7d5af3beb37131d (patch) | |
| tree | b460cd850d0537eb71806ba30358840377b27688 /static/unix-v10/man9/getfont.9 | |
| parent | b89dc2331a50c63f8b33272a5c4c61ab98abdaa3 (diff) | |
build: Better Build System
Diffstat (limited to 'static/unix-v10/man9/getfont.9')
| -rw-r--r-- | static/unix-v10/man9/getfont.9 | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/static/unix-v10/man9/getfont.9 b/static/unix-v10/man9/getfont.9 new file mode 100644 index 00000000..60c358ce --- /dev/null +++ b/static/unix-v10/man9/getfont.9 @@ -0,0 +1,59 @@ +.TH GETFONT 9.1 +.CT 1 comm_term +.SH NAME +getfont \- replace terminal's default font +.SH SYNOPSIS +.B getfont +[ +.I option ... +] +[ +.I font +] +.SH DESCRIPTION +.I Getfont +reads font data from file +.I font. +The current layer and subsequently created layers use this font as +.IR defont ; +see +.IR string (9.3). +If +.I font +does not directly name a file, it is looked for in directory +.FR /usr/jerq/font . +.PP +The options are: +.TP +.B -m +The font change applies to the basic +.IR mux (9.1) +menu as well as to layers. +.TP +.B -l +The font change applies to the current layer only. +.TP +.B -d +Print debugging information about fonts before and after. +.PP +.I Getfont +discards inaccessible fonts. +To reclaim store without loading a font, +call it with no +.I font +argument. +.SH EXAMPLES +.TP +.L +getfont pelm.10 +Larger type for demos and eyesight problems. +.TP +.L +getfont defont +Restore the original font. +.SH FILES +.F /usr/jerq/font +.SH SEE ALSO +.IR string (9.3), +.IR font (9.5), +.IR font (6) |