home/.bin/.bashrc-global

28 lines
473 B
Plaintext
Raw Normal View History

2017-07-30 00:04:04 -05:00
#!/bin/bash
#
# ~/.bashrc
#
# If not running interactively, don't do anything
[[ $- != *i* ]] && return
2017-08-31 17:50:47 -05:00
# Sometimes you can't change your shell. Sometimes you have to implement hacky
# workarounds
if [ -f ~/.bash-to-zsh ]; then
2017-09-07 21:10:14 -05:00
export SHELL=$(which zsh)
2017-08-31 17:50:47 -05:00
exec zsh
fi
2017-07-30 00:04:04 -05:00
# Source /etc/profile
source /etc/profile
# Source .profile
if [ -f ~/.profile ]; then
source ~/.profile
fi
# Source the bash-specific rc
if [ -f ~/.bin/bashrc.sh ]; then
source ~/.bin/bashrc.sh
fi