gbootroot/yard/replacements/home/user/.bash_profile.debian

# ~/.bash_profile: executed by bash(1) for login shells.
# see /usr/share/doc/bash/examples/startup-files for examples.
# the files are located in the bash-doc package.
#
# $Id$
# make_debian replacement

umask 022

# the rest of this file is commented out.

# include .bashrc if it exists

#if [ -f ~/.bashrc ]; then
#    source ~/.bashrc
#fi

# set PATH so it includes user's private bin if it exists

#if [ -d ~/bin ] ; then
#    PATH=~/bin:"${PATH}"
#fi