From ca3a844af240ca87882522d14b530e0f1a6327ef Mon Sep 17 00:00:00 2001
From: Amin Bandali <bandali@gnu.org>
Date: Tue, 6 Oct 2020 00:14:12 -0400
Subject: Move user-level configs out of rc.org

I will keep rc.org around for now, only for system-level (global)
config files.
---
 .config/profiles/darrud | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 .config/profiles/darrud

(limited to '.config/profiles/darrud')

diff --git a/.config/profiles/darrud b/.config/profiles/darrud
new file mode 100644
index 0000000..96cd9f8
--- /dev/null
+++ b/.config/profiles/darrud
@@ -0,0 +1 @@
+export INFOPATH="$HOME/usr/local/share/info${INFOPATH:+:}$INFOPATH"
-- 
cgit v1.2.3-60-g2f50