git://git.jankratochvil.net
/
nethome.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
8c23514
)
$HOME/.bash_profile.local is now also optionally executed
author
short
<>
Tue, 9 Oct 2001 21:56:57 +0000
(21:56 +0000)
committer
short
<>
Tue, 9 Oct 2001 21:56:57 +0000
(21:56 +0000)
.bash_profile
patch
|
blob
|
history
diff --git
a/.bash_profile
b/.bash_profile
index
9808136
..
d5f43d7
100644
(file)
--- a/
.bash_profile
+++ b/
.bash_profile
@@
-2,3
+2,5
@@
if [ -f "$HOME/.bashrc" ];then export BASH_ENV="$HOME/.bashrc";source "$BASH_ENV
finger
m
+
+if [ -f "$HOME/.bash_profile.local" ];then source "$HOME/.bash_profile.local";fi