From 49e0dc10749a34f66a0935c1ded8f6fa6c4b346c Mon Sep 17 00:00:00 2001
From: jdlugosz963 <jdlugosz963@gmail.com>
Date: Mon, 3 Jul 2023 14:12:58 +0200
Subject: Add guix manifests and channels.

---
 .bash_profile | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

(limited to '.bash_profile')

diff --git a/.bash_profile b/.bash_profile
index 8182e2b..608f031 100644
--- a/.bash_profile
+++ b/.bash_profile
@@ -1 +1,14 @@
-export PATH="$HOME/bin:$PATH"
+# Honor per-interactive-shell startup file
+if [ -f ~/.bashrc ]; then . ~/.bashrc; fi
+
+export PATH="$HOME/bin:$PATH
+export GUIX_EXTRA_PROFILES=$HOME/.guix-extra-profiles
+
+for i in $GUIX_EXTRA_PROFILES/*; do
+  profile=$i/$(basename "$i")
+  if [ -f "$profile"/etc/profile ]; then
+    GUIX_PROFILE="$profile"
+    . "$GUIX_PROFILE"/etc/profile
+  fi
+  unset profile
+done
-- 
cgit v1.2.3