diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2018-06-04 23:10:09 +0300 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2018-06-04 23:10:09 +0300 |
commit | 6eb00d65d5732bbb025d573422adab5e3ca74dcc (patch) | |
tree | d118dbe74fa749a9293636098f89093449563871 /%HOME%/.bash_profile | |
parent | remove .profile (diff) | |
download | linux-home-6eb00d65d5732bbb025d573422adab5e3ca74dcc.tar.gz linux-home-6eb00d65d5732bbb025d573422adab5e3ca74dcc.zip |
attempt to organize stuff properly
bash-independent stuff should go to .profile, which is what I'm trying
to do.
I'm not sure about how correct all of this is, a few bashisms were ought
to creep in.
Diffstat (limited to '%HOME%/.bash_profile')
-rw-r--r-- | %HOME%/.bash_profile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/%HOME%/.bash_profile b/%HOME%/.bash_profile index b42f274..fe1b4b5 100644 --- a/%HOME%/.bash_profile +++ b/%HOME%/.bash_profile @@ -1,4 +1,5 @@ -[ -r "$HOME/.bashrc" ] && source "$HOME/.bashrc" +[ -r "$HOME/.profile" ] && source "$HOME/.profile" +[ -r "$HOME/.bashrc" ] && source "$HOME/.bashrc" echo "Welcome to $( hostname )" |