diff --git a/.bashrc b/.bashrc index a7fffb2..05fa866 100644 --- 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" +}