2019-10-03 10:50:19 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
2020-03-16 11:59:53 +00:00
|
|
|
#if [ -r /etc/profile ]; then
|
|
|
|
|
# . /etc/profile
|
|
|
|
|
#fi
|
2019-10-03 10:50:19 +00:00
|
|
|
|
|
|
|
|
export BASH_ENV="$HOME/.bashrc"
|
|
|
|
|
export BLOCKSIZE="K"
|
|
|
|
|
export EDITOR="vi"
|
|
|
|
|
export ENV="$HOME/.shrc"
|
|
|
|
|
export LANG="en_GB.UTF-8"
|
|
|
|
|
export PAGER="less"
|
|
|
|
|
|
|
|
|
|
if [ -r $HOME/.profile.$(hostname -s) ]; then
|
|
|
|
|
. $HOME/.profile.$(hostname -s)
|
|
|
|
|
fi
|
2021-02-09 16:27:08 +00:00
|
|
|
|
|
|
|
|
if [ -n "$SSH_TTY" ]; then
|
|
|
|
|
. $HOME/.shrc
|
|
|
|
|
fi
|
