Only require profile to be a file
This commit is contained in:
parent
91debd1729
commit
667b5e6c19
1 changed files with 2 additions and 1 deletions
|
|
@ -17,7 +17,8 @@ done
|
||||||
# /etc/profile contains a lot of important environment variables
|
# /etc/profile contains a lot of important environment variables
|
||||||
source /etc/profile
|
source /etc/profile
|
||||||
|
|
||||||
if [ -n "${HOME}" -a -x "${HOME}/.profile" ]
|
# load user's profile if it exists
|
||||||
|
if [ -n "${HOME}" -a -f "${HOME}/.profile" ]
|
||||||
then
|
then
|
||||||
source "${HOME}/.profile"
|
source "${HOME}/.profile"
|
||||||
fi
|
fi
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue