bashrc.d: add guix.bash

2024-05-20 09:56:34 +01:00
parent e8083cbdc4
commit f946172b59
1 changed files with 10 additions and 0 deletions
--- a/bashrc.d/guix.bash
+++ 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
+