.profile.d/options.bashrc

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