From 1286ecfacadf68490707418db8ea9e19965cf0c5 Mon Sep 17 00:00:00 2001
From: Ekaitz Zárraga <ekaitz.zarraga@fon.com>
Date: Fri, 12 Feb 2016 16:03:44 +0100
Subject: Add aliases to bash_profile

---
 bash/.bash_profile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/bash/.bash_profile b/bash/.bash_profile
index dc67a0c..f979822 100644
--- a/bash/.bash_profile
+++ b/bash/.bash_profile
@@ -3,3 +3,6 @@ source ~/.git-prompt.sh
 #PS1="\[$GREEN\]\t\[$RED\]-\[$BLUE\]\u\[$YELLOW\]\[$YELLOW\]\w\[\033[m\]\[$MAGENTA\]\$(__git_ps1)\[$WHITE\]\$ "
 PS1="\[\e]0;\u@\h: \w\a\]${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$(__git_ps1)\[$WHITE\]\$ "
 
+if [ -f .bash_aliases ] ; then
+	. .bash_aliases
+fi
-- 
cgit v1.2.3