config-bash/rc.d/zz-powerline

27 lines
707 B
Plaintext
Raw Normal View History

2014-01-26 13:04:10 +01:00
#!/bin/bash
# Powerline
2014-04-09 18:20:49 +02:00
POWERLINE_FILE=/usr/share/powerline/bash/powerline.sh
if [ -f "${POWERLINE_FILE}" -a -z "$SSH_CONNECTION" ]
2014-01-26 13:04:10 +01:00
then
2014-04-09 18:20:49 +02:00
2014-04-09 18:37:06 +02:00
#export URXVT_FONT_NAME="Terminus for Powerline"
export URXVT_FONT_NAME="DejaVu Sans Mono for Powerline"
export URXVT_FONT_SIZE="8"
xrdb -merge <<"EOF"
2014-04-09 18:20:49 +02:00
XTerm*utf8: 1
XTerm*faceName: ${URXVT_FONT_NAME}
XTerm*faceSize: ${URXVT_FONT_SIZE}
UXTerm*utf8: 1
UXTerm*faceName: ${URXVT_FONT_NAME}
UXTerm*faceSize: ${URXVT_FONT_SIZE}
URxvt*font: xft:${URXVT_FONT_NAME}-${URXVT_FONT_SIZE}
EOF
2014-05-10 18:58:00 +02:00
test -f ~/.Xresources.powerline && xrdb -merge ~/.Xresources.powerline
2014-04-09 18:37:06 +02:00
urxvt_set_font "${URXVT_FONT_NAME}-${URXVT_FONT_SIZE}"
source ${POWERLINE_FILE}
2014-01-26 13:04:10 +01:00
fi