diff options
| author | Joerg Jaspert <joerg@debian.org> | 2008-09-26 23:53:11 +0200 |
|---|---|---|
| committer | Joerg Jaspert <joerg@debian.org> | 2008-09-26 23:53:11 +0200 |
| commit | 55549160b6c25ebcb7d79e9b6af781b47cd8e229 (patch) | |
| tree | d854669359ccde10a8a645e9a1e8ce5654588b82 /.bash_profile | |
| parent | 4442fd18932b6830cca20f9c6c34dde92912d647 (diff) | |
Bash
Add a bashrc/logout/profile
Signed-off-by: Joerg Jaspert <joerg@debian.org>
Diffstat (limited to '.bash_profile')
| -rw-r--r-- | .bash_profile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/.bash_profile b/.bash_profile new file mode 100644 index 0000000..1e817ce --- /dev/null +++ b/.bash_profile @@ -0,0 +1,11 @@ +# ~/.bash_profile: executed by bash(1) for login shells. + +# include .bashrc if it exists +if [ -f ~/.bashrc ]; then + . ~/.bashrc +fi + +# set PATH so it includes user's private bin if it exists +if [ -d ~/bin ] ; then + PATH=~/bin:"${PATH}" +fi |