git://git.jankratochvil.net
/
nethome.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
.vimrc: <Esc>3: Fix#2 for an empty chunk 1
[nethome.git]
/
.bash_profile
diff --git
a/.bash_profile
b/.bash_profile
index
d5f43d7
..
1105d6b
100644
(file)
--- a/
.bash_profile
+++ b/
.bash_profile
@@
-1,6
+1,6
@@
if [ -f "$HOME/.bashrc" ];then export BASH_ENV="$HOME/.bashrc";source "$BASH_ENV";fi
-finger
-m
+# '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