#!/bin/bash
# To get Cygwin's Bash to use this file, you have to
# 1. Have the "command line" in your Windows shortcut
#    for bash be something the following:
#
#           C:\cygwin\bin\bash.exe
#
# 2. Have the working directory for this shortcut
#    be the directory where the file .bashrc lives
# 3. Call this file .bashrc32 (or change the name above).
# 4. Set up your mount points so that /home is defined (use mount).
# 5. Create the files sourced below, even if they are empty.
# 6. Edit the file /etc/profile so that the last line is:
#      test -f ./.bashrc && . ./.bashrc
#    which seems to be needed to run the .bashrc file.

# All the stuff below can be changed, and probably should be, 
# to customize it for your use.

# make the bash prompt include the current directory, and then a dollar sign
PS1='$PWD$ '

# define HOME to be the mount point /home
HOME=/home
export HOME

# define my default umask, which controls file permissions
umask 022

# cd looks in these directories
CDPATH=".:~:~/classes/cop4020:/cygdrive/c"

# ignore these suffixes in file name completion
FIGNORE='~:,v:.log:.aux:.toc:.blg:.bit:.class:.o'

# some shell variables
jml=/home/JML/edu/iastate/cs/jml
jmlunix=/unix/JML/edu/iastate/cs/jml
MANPATH="/usr/man:/usr/share/man:/usr/local/man"
export MANPATH

# for GNU make
MAKE_MODE=UNIX
export MAKE_MODE

# aliases for commands
source /home/.aliases-bash 
# aliases I only want for Cygwin bash (not DJGPP)
alias emacs='/home/bin/emacs'
case "$TERM" in
  emacs) ;;
  *) alias ls='ls --color=tty'
     ;;
esac

# customizations that vary between my machines go in the file below
source /home/.bashrc_local