2018-02-03 00:34:17 -06:00
|
|
|
#!/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
|
2018-08-08 16:55:48 -05:00
|
|
|
if [ -r ~/.profile ]; then
|
2018-02-03 00:34:17 -06:00
|
|
|
source ~/.profile
|
|
|
|
|
fi
|
|
|
|
|
|
