From 69032a47f75e84c6473ab288be7abb934f2c0a3d Mon Sep 17 00:00:00 2001
From: Gea-Suan Lin <gslin@gslin.org>
Date: Wed, 5 Nov 2014 02:25:57 +0800
Subject: [PATCH] Use .bashrc_profile.

---
 .bashrc_profile | 2 ++
 .profile        | 4 ----
 2 files changed, 2 insertions(+), 4 deletions(-)
 create mode 100644 .bashrc_profile
 delete mode 100644 .profile

diff --git a/.bashrc_profile b/.bashrc_profile
new file mode 100644
index 0000000..799f276
--- /dev/null
+++ b/.bashrc_profile
@@ -0,0 +1,2 @@
+#
+source ${HOME}/.bashrc
diff --git a/.profile b/.profile
deleted file mode 100644
index cfdf994..0000000
--- a/.profile
+++ /dev/null
@@ -1,4 +0,0 @@
-#
-if [ "$SHELL" == "/bin/bash" -o "$SHELL" == "/usr/local/bin/bash" ]; then
-    source ${HOME}/.bashrc
-fi