bash31/bash31.rc

   1 #!/bin/bash
   2
   3 declare _bashdir="/opt/bash31"
   4 export MANPATH+="$_bashdir/man/"
   5 export MANPATH+=":/usr/share/man/"
   6
   7 [[ $- != *i* ]] && return
   8
   9 PS1='[\V:\u@\h \W]\$ '
  10 PS2='> '
  11 PS3='> '
  12 PS4='+ '
  13
  14 echo
  15 echo "Running : '${BASH_VERSINFO[@]}'"
  16 echo "You can type ^D or exit to exit."
  17 echo
  18