X11

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