diff options
| author | Ben Sima <ben@bsima.me> | 2018-05-24 11:24:40 -0700 |
|---|---|---|
| committer | Ben Sima <ben@bsima.me> | 2018-05-24 11:24:40 -0700 |
| commit | 17294eb0bf1b4dc6e65543c1c2c629968bf394ba (patch) | |
| tree | 661d0e4b589f788cab831e757746ff0b9b586030 | |
| parent | b86448dbd4bb2781ae38bf0a52a5b7206ab7061c (diff) | |
Properly set xterm font
| -rw-r--r-- | home.nix | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -7,8 +7,9 @@ xresources = { properties = { - "XTerm*font" = "*-fixed-*-*-*-10-*"; + "XTerm*font" = "*-fixed-*-*-*-*-*"; "XTerm*faceName" = "mononoki"; + "XTerm*faceSize" = "10"; "XTerm*termName" = "xterm-256color"; "XTerm*metaSendsEscape" = true; }; |
