From c4b500bf8a278d2a76cc889e7c8a3e86e7b6ce38 Mon Sep 17 00:00:00 2001
From: Simon Bruder <simon@sbruder.de>
Date: Sun, 28 Oct 2018 12:16:17 +0000
Subject: [PATCH] [zsh] add function to change terminal font

---
 home/.zshrc.local | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/home/.zshrc.local b/home/.zshrc.local
index 0bfe52b..de6fe69 100644
--- a/home/.zshrc.local
+++ b/home/.zshrc.local
@@ -58,6 +58,16 @@ function touchpad() {
 	fi
 }
 
+## Terminal font
+
+function tfont() {
+    (
+        [ -z "$1" ] && font="Terminess Powerline" || font="$1"
+        [ -z "$2" ] && fontsize=18 || fontsize="$2"
+        echo -e "\033]710;xft:$font:pixelsize=$fontsize\007"
+    )
+}
+
 # Fancy stuff
 
 ## dircolors