myconfig

commit 632da798be93ef2dd6f1dc40271b78af0c2f65b4
parent a822371dd93ac9dcddcb45317d1fedde499ec84c
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Fri,  9 Oct 2015 17:14:46 +0200

Merge branch 'master' of a3nm.net:git/myconfig

Diffstat:
zsh/fontsize
 | 
12
++++++++++++

1 file changed, 12 insertions(+), 0 deletions(-)
diff --git a/zsh/fontsize b/zsh/fontsize
@@ -0,0 +1,12 @@
+# fontsize N changes font size to DejaVu Sans Mono N pts
+
+function fontsize () {
+  # inspired by
+  # https://github.com/majutsushi/urxvt-font-size
+  
+  for a in 710 711 712 713;
+  do
+    echo -e "\033]$a;xft:DejaVu Sans Mono:size=$1\033\\"
+  done
+}
+