X11: Difference between revisions
iwu |
No edit summary |
||
| Line 3: | Line 3: | ||
Set a different font by updating <code>~/.Xresources</code>. | Set a different font by updating <code>~/.Xresources</code>. | ||
<source lang=" | <source lang="ini"> | ||
xterm*faceName: PragmataPro | xterm*faceName: PragmataPro | ||
xterm*faceSize: 12 | xterm*faceSize: 12 | ||
Latest revision as of 10:45, 17 August 2018
Configuring xterm
Set a different font by updating ~/.Xresources.
xterm*faceName: PragmataPro
xterm*faceSize: 12
Tell X server to incorporate changes to its main configuration file.
$ xrdr -merge ~/.Xresources