#!/bin/bash
#
# ~/.bashrc
#

# If not running interactively, don't do anything
[[ $- != *i* ]] && return

# Sometimes you can't change your shell. Sometimes you have to implement hacky
# workarounds
if [ -f ~/.bash-to-zsh ]; then
	export SHELL=$(which zsh)
	exec zsh
fi

# Source /etc/profile
source /etc/profile

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

# Source the bash-specific rc
if [ -f ~/.bin/bashrc.sh ]; then
	source ~/.bin/bashrc.sh
fi