Linux 系统文件设置

~/.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