#########################################################################
# ~/.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