~/.bashrc
# my settings
# set title of terminal.
function settitle() {
if [[ -z "$ORIG" ]]; then
ORIG=$PS1
fi
TITLE="\[\e]2;$@\a\]"
PS1=${ORIG}${TITLE}
}
注:上述代码需在编辑状态下复制,直接复制有缺失。
# Terminal solarized color
export TERM=xterm-256color