Alias to change font size.

2018-09-25 19:30:27 +02:00 · 2018-09-25 19:30:27 +02:00 · d619c92a8f
parent a492b19cbc
commit d619c92a8f
1 changed files with 5 additions and 0 deletions
--- a/.bashrc
+++ b/.bashrc
@ -144,3 +144,8 @@ dotfiles()
    rm -f "$HOME/.git-prompt.sh"
    wget -q -O "$HOME/.git-prompt.sh" https://raw.githubusercontent.com/git/git/master/contrib/completion/git-prompt.sh
 }
+
+fontsize()
+{
+    printf '\33]50;%s\007' "xft:LiberationMono:size=$1"
+}