对终端窗口大小的变化做出反应

有一个信号 WINCH(WINdowCHange)，当调整终端窗口大小时会触发。

declare -x rows cols
 
update_size(){
  rows=$(tput lines) # get actual lines of term
  cols=$(tput cols)  # get actual columns of term
  echo DEBUG terminal window has no $rows lines and is $cols characters wide
}

trap update_size WINCH