Fri, 09 Mar 2018 00:43:23 -0500
incl replyrc.pl
# .bashrc: executed for non-login shells # probably sourced by .bash_profile though if [ -f ~/.bashrc.dist ]; then source ~/.bashrc.dist fi source ~/.lib/bash/path.sh path-prepend "$HOME/bin" if path-prepend "$HOME/.plenv/bin"; then eval "$(plenv init -)" fi if [ -f ~/.bashrc.local ]; then source ~/.bashrc.local fi source ~/.profile.common