From f946172b59d5d4dd7ad20c576d1a70eee52da2b6 Mon Sep 17 00:00:00 2001
From: Paul Walker <paul@blacksun.org.uk>
Date: Mon, 20 May 2024 09:56:34 +0100
Subject: [PATCH] bashrc.d: add guix.bash

---
 bashrc.d/guix.bash | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 bashrc.d/guix.bash

diff --git a/bashrc.d/guix.bash b/bashrc.d/guix.bash
new file mode 100644
index 0000000..ad66f9f
--- /dev/null
+++ b/bashrc.d/guix.bash
@@ -0,0 +1,10 @@
+which guix 1>/dev/null
+if [ $? -eq 0 ] ; then
+  if [ -d "$HOME/.config/guix/" ] ; then
+    GUIX_PROFILE="$HOME/.config/guix/current"
+    . "$GUIX_PROFILE/etc/profile"
+  else
+    echo "No current GUIX_PROFILE."
+  fi
+fi
+