.bashrc

Tue, 14 Mar 2023 22:56:37 -0500

author
Meredith Howard <mhoward@roomag.org>
date
Tue, 14 Mar 2023 22:56:37 -0500
changeset 1087
bfcf9813c223
parent 968
0db164e368c5
child 1107
c6d7ac40bd3c
permissions
-rw-r--r--

try to fix stopinsert/autowrite again

# .bashrc: executed for non-login shells
#          probably sourced by .bash_profile though

if [ -f ~/.bashrc.dist ]; then
  source ~/.bashrc.dist
fi

source ~/.lib/sh/path.bash

for DIR in bin .cargo/bin .local/bin go/bin; do
  path-prepend "$HOME/$DIR"
done

if [ -f ~/.bashrc.local ]; then
  source ~/.bashrc.local
fi

source ~/.profile.common

mercurial