# ~/.bashrc: executed by bash(1) for non-login shells.
+cat /dev/null > ~/.bash_history
# If not running interactively, don't do anything
case $- in
PATH="/usr/local/bin:$PATH"
export PATH
+# Run a machine-specific bashrc (if it exists).
+if [ -f $HOME/.bashrc_local ]; then
+ source $HOME/.bashrc_local
+fi
+
# Automatically open screen.
# The if statement prevents it from recursing (since screen opens bash).
if [ $TERM != screen ]; then