2017-07-30 00:04:04 -05:00
|
|
|
#!/bin/bash
|
|
|
|
|
#
|
|
|
|
|
# ~/.bashrc
|
|
|
|
|
#
|
|
|
|
|
|
|
|
|
|
# If not running interactively, don't do anything
|
|
|
|
|
[[ $- != *i* ]] && return
|
|
|
|
|
|
2017-08-31 17:50:47 -05:00
|
|
|
# Sometimes you can't change your shell. Sometimes you have to implement hacky
|
|
|
|
|
# workarounds
|
|
|
|
|
if [ -f ~/.bash-to-zsh ]; then
|
2017-09-07 21:10:14 -05:00
|
|
|
export SHELL=$(which zsh)
|
2017-08-31 17:50:47 -05:00
|
|
|
exec zsh
|
|
|
|
|
fi
|
|
|
|
|
|
2017-07-30 00:04:04 -05:00
|
|
|
# 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
|
