diff --git a/.bin/.bashrc-global b/.bin/.bashrc-global index 22e856ed..08ea6da8 100644 --- a/.bin/.bashrc-global +++ b/.bin/.bashrc-global @@ -6,6 +6,12 @@ # 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 + exec zsh +fi + # Source /etc/profile source /etc/profile