bashrc: Remove bash-to-zsh workaround and stop sourcing the environment's profile
This commit is contained in:
parent
bcd40f9a27
commit
5f7ddc3141
10
shrc/bashrc
10
shrc/bashrc
@ -6,16 +6,6 @@
|
|||||||
# If not running interactively, don't do anything
|
# If not running interactively, don't do anything
|
||||||
[[ $- != *i* ]] && return
|
[[ $- != *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
|
# Source .profile
|
||||||
if [ -r ~/.profile ]; then
|
if [ -r ~/.profile ]; then
|
||||||
source ~/.profile
|
source ~/.profile
|
||||||
|
Loading…
Reference in New Issue
Block a user