Bash profile

.profile

# IP alias
alias ip="ifconfig | grep 'inet addr:172' | awk {'print \$2'} | awk -F':' {'print \$2'}"

# Command prompt
source ~/.git-prompt.sh
export PS1='\[\033[01;35m\]$(date +%k:%M:%S)\[\033[00m\] \[\033[01;36m\]$(whoami)\[\033[00m\]\[\033[01;31m\]@\[\033[00m\]\[\033[01;33m\]$(hostname)\[\033[00m\] \[\033[01;32m\]\w\[\033[01;31m\]$(__git_ps1)\[\033[00m\] → '

# Directory size
alias dirsize="du -h | tail -1 | awk '{print \$1}'"

# Add home bin to the path
if [ -d "$HOME/bin" ] ; then
    PATH="$HOME/bin:$PATH"
fi

# Colourful stuff
alias ls="ls --color"
alias grep="grep --color"
export ANT_ARGS='-logger org.apache.tools.ant.listener.AnsiColorLogger'