28 lines
473 B
Plaintext
28 lines
473 B
Plaintext
|
#!/bin/bash
|
||
|
#
|
||
|
# ~/.bashrc
|
||
|
#
|
||
|
|
||
|
# If not running interactively, don't do anything
|
||
|
[[ $- != *i* ]] && return
|
||
|
|
||
|
# Sometimes you can't change your shell. Sometimes you have to implement hacky
|
||
|
# workarounds
|
||
|
if [ -f ~/.bash-to-zsh ]; then
|
||
|
export SHELL=$(which zsh)
|
||
|
exec zsh
|
||
|
fi
|
||
|
|
||
|
# 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
|