From e517f6dd803ccafa78585f1849668cd33c9ca588 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ricardo=20Fern=C3=A1ndez=20Serrata?=
 <76864299+Rudxain@users.noreply.github.com>
Date: Tue, 14 May 2024 19:44:18 -0400
Subject: [PATCH] mv documentation to #10

---
 .profile | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/.profile b/.profile
index 7c1593c1648..782cc02b5ff 100644
--- a/.profile
+++ b/.profile
@@ -6,17 +6,5 @@ if [ -n "$BASH_VERSION" ]; then
 	[ -f "$HOME/.bashrc" ] && \
 	. "$HOME/.bashrc"
 else
-	# If I were to unconditionally source `.sh/profile`,
-	# I would have to un-source it from `.bash_profile`,
-	# and rename all Bash startup-files
-	# to force Bash to source `.profile` instead.
-	# The problem is, users (including myself)
-	# would have to rm all Bash startup-files too.
 	. "$HOME/.sh/profile"
-	# A possible solution to the previous problem,
-	# is to inline `.sh/profile` into `.profile` and
-	# make `.bash_profile` source that instead.
-	# This doesn't seem to have any cons, only pros,
-	# such as making `.profile` fully POSIX-compliant
-	# and (mostly) shell-agnostic
 fi