.bashrc
changeset 987 e0ffdc132f41
parent 978 8f0e780cabcf
child 991 57fda390e91c
equal deleted inserted replaced
986:080abbbb7ba7 987:e0ffdc132f41
    21     local size=80
    21     local size=80
    22   fi
    22   fi
    23   ruler=${ruler:0:${size}}
    23   ruler=${ruler:0:${size}}
    24   _my_ruler=$ruler
    24   _my_ruler=$ruler
    25 }
    25 }
    26 _my_ruler_handler
    26 case $- in
    27 trap '_my_ruler_handler' SIGWINCH
    27   *i*)
       
    28     _my_ruler_handler
       
    29     trap '_my_ruler_handler' SIGWINCH
       
    30     ;;
       
    31 esac
    28 
    32 
    29 PS1='\n${_my_ruler}\r$?|\u@\h \w \nbash# '
    33 PS1='\n${_my_ruler}\r$?|\u@\h \w \nbash# '
    30 PS2='> '
    34 PS2='> '
    31 
    35 
    32 case "$TERM" in
    36 case "$TERM" in