.bashrc

Fri, 09 Mar 2018 23:47:31 -0500

author
Meredith Howard <mhoward@roomag.org>
date
Fri, 09 Mar 2018 23:47:31 -0500
changeset 701
437293466a17
parent 687
17d2d3c6042e
child 712
1fa3948ce85e
permissions
-rw-r--r--

rearrange again to get the pragma right

# .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

mercurial