#!/bin/bash

# `bash`-specific configurations


# Prevent running this file twice, as a non-login `bash` enters here,
# sources ~/.profile, and ~/.profile sources this file again
[ -n "$BASHRC_LOADED" ] && return
BASHRC_LOADED=1


# Load configuration files common to all kinds of shells,
# if not already done by a `bash` login shell
[ -z "$PROFILE_LOADED" ] && [ -f "$HOME/.profile" ] && . "$HOME/.profile"