2013-08-29 11:30:40 +02:00
|
|
|
# ~/.profile: executed by the command interpreter for login shells.
|
|
|
|
|
# This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login
|
|
|
|
|
# exists.
|
|
|
|
|
# see /usr/share/doc/bash/examples/startup-files for examples.
|
|
|
|
|
# the files are located in the bash-doc package.
|
|
|
|
|
|
|
|
|
|
# the default umask is set in /etc/profile; for setting the umask
|
|
|
|
|
# for ssh logins, install and configure the libpam-umask package.
|
|
|
|
|
#umask 022
|
|
|
|
|
|
2016-02-23 15:50:02 +01:00
|
|
|
if [ -z $PROFILE_ALREADY_SET ];
|
|
|
|
|
then
|
|
|
|
|
export PROFILE_ALREADY_SET=1
|
2013-08-29 11:30:40 +02:00
|
|
|
|
2016-02-23 15:50:02 +01:00
|
|
|
# if running bash, include .bashrc, if it exists
|
|
|
|
|
[ -n "$BASH_VERSION" -a -r "$HOME/.bashrc" ] && . "$HOME/.bashrc"
|
2013-10-11 16:19:50 +02:00
|
|
|
|
2016-02-23 15:50:02 +01:00
|
|
|
# set PATH so it includes user's private bin if it exists
|
|
|
|
|
[ -d "$HOME/bin" ] && PATH="$HOME/bin:$PATH"
|
|
|
|
|
|
|
|
|
|
[ -f "$HOME/bin/set_environ.sh" ] && . "$HOME/bin/set_environ.sh";
|
|
|
|
|
fi
|
