#########################################################################
#          ~/.bashrc: Personal initialisation script for Bash           #
#########################################################################

# [JNZ] Modified 21-Jun-2013

# This script file is sourced by interactive Bash shells (ie, shells for
# which you are able to provide keyboard input).  It is also sourced by
# ~/.bash_profile for login shells.  It is the best place to put shell
# variables, functions and aliases.
#
# Written by John Zaitseff and released into the public domain.


# Variable settings for your convenience

export EDITOR=emacs				# Everyone's favourite editor

# Run the following only if this shell is interactive

if [ "$PS1" ]; then
    export IGNOREEOF=5				# Disallow accidental Ctrl-D
fi