Timeline for Scaling default xterm font to "Large"
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 15, 2022 at 14:23 | comment | added | bgoodr |
You can also test this out, before modifying your .Xresources file, using the -xrm option: xterm -xrm 'xterm*VT100.initialFont:5'. And merge them in via xrdb -merge ~/.Xdefaults or xrdb -merge ~/.Xresources, depending upon the file you happen to use.
|
|
| Oct 27, 2021 at 22:31 | vote | accept | TeXomat | ||
| Oct 27, 2021 at 22:27 | history | answered | Thomas Dickey | CC BY-SA 4.0 |