Mini Shell

# .bash_profile

# Get the aliases and functions
if [ -f ~/.bashrc ]; then
	. ~/.bashrc
fi

# User specific environment and startup programs

PATH=$PATH:$HOME/bin

export PATH


if [ -f ~/.bash_extras ]; then source ~/.bash_extras; fi