From 428626d638f991995f3b2c2bdad6af4d9e855b2d Mon Sep 17 00:00:00 2001
From: Alejandro Mery <amery@geeks.cl>
Date: Wed, 17 Sep 2008 13:09:52 +0200
Subject: [PATCH] .bash_profile: cleaner output

---
 .bash_profile | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.bash_profile b/.bash_profile
index c3d1a21..dd9e276 100644
--- a/.bash_profile
+++ b/.bash_profile
@@ -1,4 +1,4 @@
-#!/bin/sh
-
-echo ".bash_profile -> .bashrc" >&2
-[ -s "$HOME/.bashrc" ] && source "$HOME/.bashrc"
+if [ -s "$HOME/.bashrc" ]; then
+	echo ".bash_profile:  -> .bashrc" >&2
+	. "$HOME/.bashrc"
+fi