]> git.zndr.dk Git - dotfiles.git/commitdiff
Cosmetic .profile update
authorJannik ZANDER <jannikz@gmail.com>
Tue, 3 May 2016 21:27:40 +0000 (23:27 +0200)
committerJannik ZANDER <jannikz@gmail.com>
Tue, 3 May 2016 21:27:40 +0000 (23:27 +0200)
.profile

index 448398701acd71e10a1a1297489407f77f525327..c39cf658b04177a8efaea73a6f2f31f471cd7c96 100644 (file)
--- a/.profile
+++ b/.profile
@@ -5,8 +5,7 @@
 #
 # if running bash
 if [ -n "${BASH_VERSION}" ]; then
-  if [ -f "${HOME}/.bashrc" ]; then
-    source "${HOME}/.bashrc"
-  fi
+  # source the users bashrc if it exists
+  [ -f "${HOME}/.bashrc" ] && source "${HOME}/.bashrc
 fi