#!/bin/bash
# This is a ".bash_profile" file.

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

################################################################