From 5b451afffa6365681ca89eed23a3eef238a448e8 Mon Sep 17 00:00:00 2001
From: Robin Krahl <me@robin-krahl.de>
Date: Thu, 16 Jun 2016 23:59:22 +0200
Subject: change terminal font

---
 font.diff | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 font.diff

diff --git a/font.diff b/font.diff
new file mode 100644
index 0000000..64e8d97
--- /dev/null
+++ b/font.diff
@@ -0,0 +1,11 @@
+--- config.def.h	2016-06-16 23:40:53.686735584 +0200
++++ config.h	2016-06-16 23:39:33.710064806 +0200
+@@ -5,7 +5,7 @@
+  *
+  * font: see http://freedesktop.org/software/fontconfig/fontconfig-user.html
+  */
+-static char font[] = "Liberation Mono:pixelsize=12:antialias=false:autohint=false";
++static char font[] = "Inconsolata:pixelsize=14";
+ static int borderpx = 2;
+ static char shell[] = "/bin/sh";
+ static char *utmp = NULL;
-- 
cgit v1.2.1