# set PATH so it includes user's private bin if it exists
if [[ -d ${HOME}/bin && ${PATH} != *${HOME}/bin* ]] ; then
        export PATH=${HOME}/bin:"${PATH}:"
fi

#added 2006-01-31 11:31 pm
export HISTCONTROL="erasedups:ignoreboth"		#erase duplicated entries, ignore entries that are duplicates or begin with spaces
export HISTTIMEFORMAT="%a %F %r "	
export HISTIGNORE="&:[ ]*:clear:exit"			#don't record commands preceeded by a space
export PROMPT_COMMAND="history -a; history -r"	#unify history across bash sessions

#added 2007-08-21 4:47 PM
export VERSION_CONTROL=numbered

#added 2009-03-05 00:08 am
export PAGER="/usr/bin/less -R"
export EDITOR=/usr/bin/vim

export LC_TIME=en_DK.UTF-8

#added 2010-09-25
export TERM=xterm-256color