Wed, 27 Jan 2016 18:54:54 -0500
add .homedir-push.sh
# .bashrc: executed for non-login shells # probably sourced by .bash_profile though if [ -f ~/.bashrc.dist ]; then source ~/.bashrc.dist fi source ~/.profile.common if [ -d ~/bin ]; then export PATH="$HOME/bin:$PATH" fi if [ -d ~/.plenv ]; then export PATH="$HOME/.plenv/bin:$PATH" eval "$(plenv init -)" fi if [ -d ~/.rbenv ]; then export PATH="$HOME/.rbenv/bin:$PATH" eval "$(rbenv init -)" fi if [ -f ~/.bashrc.local ]; then source ~/.bashrc.local fi