From bc591dcedf45b80f70661f33c42c68dbd581e901 Mon Sep 17 00:00:00 2001
From: jdlugosz963 <jdlugosz963@gmail.com>
Date: Mon, 11 Aug 2025 17:36:57 +0200
Subject: Migrate to RDE

---
 files/.bash_profile | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 files/.bash_profile

(limited to 'files/.bash_profile')

diff --git a/files/.bash_profile b/files/.bash_profile
deleted file mode 100644
index 14802fe..0000000
--- a/files/.bash_profile
+++ /dev/null
@@ -1,17 +0,0 @@
-# Honor per-interactive-shell startup file
-if [ -f ~/.bashrc ]; then . ~/.bashrc; fi
-
-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
-
-export NIX_PATH=~/.nix-defexpr/channels/nixos/
-
-. .profile
-- 
cgit v1.2.3