From c8079dcee7a82df4a0d01d678a412794d41b173b Mon Sep 17 00:00:00 2001
From: Raghav Gururajan <rg@raghavgururajan.name>
Date: Thu, 23 Dec 2021 10:52:32 -0500
Subject: [PATCH] bash: Remove activation of guix-extra-profiles.

---
 bash/bash_profile | 22 ----------------------
 1 file changed, 22 deletions(-)

diff --git a/bash/bash_profile b/bash/bash_profile
index 8f2920a..9a8bd4e 100644
--- a/bash/bash_profile
+++ b/bash/bash_profile
@@ -1,25 +1,3 @@
-# Activate Guix extra profiles.
-for i in ~/.guix-extra-profiles/*; do
-  profile=$i/$(basename "$i")
-    if [ -f "$profile"/etc/profile ]; then
-      GUIX_PROFILE="$profile"
-      source "$profile"/etc/profile
-    fi
-    if [ -d "$profile"/etc/xdg ]; then
-      export XDG_CONFIG_DIRS="$profile"/etc/xdg:$XDG_CONFIG_DIRS
-    fi
-    if [ -d "$profile"/share ]; then
-      export XDG_DATA_DIRS="$profile"/share:$XDG_DATA_DIRS
-    fi
-    if [ -d "$profile"/share/man ]; then
-      export MANPATH="$profile"/share/man:$MANPATH
-    fi
-    if [ -d "$profile"/share/info ]; then
-      export INFOPATH="$profile"/share/info:$INFOPATH
-    fi
-  unset profile
-done
-
 # Activate Nix profile.
 if [ -f /run/current-system/profile/etc/profile.d/nix.sh ]; then
   source /run/current-system/profile/etc/profile.d/nix.sh