#!/bin/bash if [ -r "$HOME/.profile" ] then . "$HOME/.profile" fi export BASH_ENV="$HOME/.bashrc" if [ -r "$HOME/.bashrc" ] then . "$HOME/.bashrc" fi