2021-02-20 22:59:54 +00:00
|
|
|
#!/bin/bash
|
2022-08-19 14:52:07 +00:00
|
|
|
if [ -r /etc/profile ]
|
2022-08-18 16:04:19 +00:00
|
|
|
then
|
2022-08-19 14:52:07 +00:00
|
|
|
. /etc/profile
|
2021-02-20 22:59:54 +00:00
|
|
|
fi
|
|
|
|
|
|
|
|
export BASH_ENV="$HOME/.bashrc"
|
|
|
|
|
2022-08-19 14:52:07 +00:00
|
|
|
if [ -r "$HOME/.profile" ]
|
2021-02-20 22:59:54 +00:00
|
|
|
then
|
2022-08-19 14:52:07 +00:00
|
|
|
. "$HOME/.profile"
|
2019-10-03 10:50:19 +00:00
|
|
|
fi
|