#!/bin/bash
# 005-shell.bash - included by .profile

# environment and startup programs
BASH_ENV="${HOME}"/.bashrc
export BASH_ENV
