.profile.d/options.bashrc

   1 # $Id$
   2 #
   3 # Bash variables and options.
   4 # Some of these are (now) the default but listed for completeness.
   5 #
   6
   7 # Allow ^D to exit the shell.
   8 set +o ignoreeof
   9
  10 # vi keys.  Not needed if .inputrc is handled properly.
  11 set -o vi
  12
  13 # Don't cache missing PATH entries.
  14 shopt -s checkhash
  15
  16 # Don't wait for SIGWINCH.
  17 shopt -s checkwinsize
  18
  19 # Append to history.
  20 shopt -s histappend
  21
  22 # Don't try to expand hostnames after @.
  23 shopt -u hostcomplete
  24
  25 # Don't send HUP to jobs on exit.
  26 shopt -u huponexit
  27
  28 # Handle accidental tab mashing at start of a line.
  29 shopt -s no_empty_cmd_completion
  30
  31 # The Red Hat The
  32 if [ "$OSTYPE" = "cygwin" ]; then
  33   shopt -s nocaseglob
  34 else
  35   shopt -u nocaseglob
  36 fi