[zsh] add function to change terminal font

2018-10-28 12:16:17 +00:00 · 2018-10-28 12:16:17 +00:00 · c4b500bf8a
parent c45073c276
commit c4b500bf8a
1 changed files with 10 additions and 0 deletions
--- 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