From 5f7ddc31411bd302339ec287498d6fe7c4501f8e Mon Sep 17 00:00:00 2001
From: Salt <rehashedsalt@cock.li>
Date: Wed, 21 Nov 2018 15:32:16 -0600
Subject: [PATCH] bashrc: Remove bash-to-zsh workaround and stop sourcing the
 environment's profile

---
 shrc/bashrc | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/shrc/bashrc b/shrc/bashrc
index 2ef8ac4..1599b1b 100755
--- a/shrc/bashrc
+++ b/shrc/bashrc
@@ -6,16 +6,6 @@
 # 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 [ -r ~/.profile ]; then
 	source ~/.profile