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