*: License under GPL v3+.

[config/dotfiles.git] / bash / profile

diff --git a/bash/profile b/bash/profile
index 3c62d60c904dff56d528eac84d671b3fb1ed2e0c..864f88b4092346b0cb4e64b442ac9930faae7c1f 100644 (file)
--- a/bash/profile
+++ b/bash/profile
@@ -1,5 +1,24 @@
 # Bash login configuration file.
 
+# Copyright (C) 2011-2012  Simon Ruderich
+#
+# This file is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 3 of the License, or
+# (at your option) any later version.
+#
+# This file is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this file.  If not, see <http://www.gnu.org/licenses/>.
 
-# Load ~/.bashrc.
-. ~/.bashrc
+
+# Load ~/.bashrc if it exists.
+if [[ -f ~/.bashrc ]]; then
+    . ~/.bashrc
+fi
+
+# vim: ft=sh