739b272e5f
.bash_profile is sourced only in login shells. Since .bash_profile sources .bashrc, it should be safe to set custom PATH in .bashrc. Resolves: #1615131
9 lines
141 B
Plaintext
9 lines
141 B
Plaintext
# .bash_profile
|
|
|
|
# Get the aliases and functions
|
|
if [ -f ~/.bashrc ]; then
|
|
. ~/.bashrc
|
|
fi
|
|
|
|
# User specific environment and startup programs
|