X-Git-Url: https://git.jankratochvil.net/?p=nethome.git;a=blobdiff_plain;f=.bash_profile;h=1105d6bccb385cc702d00621581c1793378ef2b4;hp=7ff84cdd604997877bda705dd47376fc106a683e;hb=31ce090f436babfc7f4819096cfff9cc34bd667c;hpb=22a13978650131583b5ffc4cff385e812f7bd9c2

diff --git a/.bash_profile b/.bash_profile
index 7ff84cd..1105d6b 100644
--- a/.bash_profile
+++ b/.bash_profile
@@ -1,3 +1,6 @@
-export BASH_ENV="$HOME/.bashrc";source "$BASH_ENV"
-finger
-m
+if [ -f "$HOME/.bashrc" ];then export BASH_ENV="$HOME/.bashrc";source "$BASH_ENV";fi
+
+# '2>/dev/null' as finger(1) may not be present.
+finger 2>/dev/null
+
+if [ -f "$HOME/.bash_profile.local" ];then source "$HOME/.bash_profile.local";fi