From 6fd4036a2775da98049c60a82bd89f95ca3987bd Mon Sep 17 00:00:00 2001
From: Jordan Atwood <nightfirecat@nightfirec.at>
Date: Fri, 23 Jun 2023 12:51:24 -0700
Subject: [PATCH] Don't source .profile from .bash_profile

bash has [a specific order in which it tries to source a profile/login
file][1], so given that this repository provides a .bash_profile file,
it will not attempt to, and in fact should not, source .profile. This
was causing some bad behavior on login to some machines which had a
system default ~/.profile provided which re-sourced .bashrc.

[1]: https://www.gnu.org/savannah-checkouts/gnu/bash/manual/bash.html#Invoked-as-an-interactive-login-shell_002c-or-with-_002d_002dlogin
---
 src/.bash_profile | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/src/.bash_profile b/src/.bash_profile
index 0e1a34c..82af46b 100755
--- a/src/.bash_profile
+++ b/src/.bash_profile
@@ -1,11 +1,5 @@
 #!/usr/bin/env bash
 
-# source ~/.profile if it exists
-if [ -f ~/.profile ]; then
-	# shellcheck disable=SC1090
-	. ~/.profile
-fi
-
 ### environment vars
 # add $HOME/.bin to PATH (this is created via dotfiles setup)
 export PATH="${PATH}:$HOME/.bin"