From 6f30ac188d687522f56b41ebafe7e49c322af038 Mon Sep 17 00:00:00 2001
From: Case Duckworth
Date: Wed, 13 Apr 2022 17:04:46 -0500
Subject: Add path_add_unsafe and change path munging

---
 profile/infopath.sh | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'profile/infopath.sh')

diff --git a/profile/infopath.sh b/profile/infopath.sh
index ad1ec3f..80080b8 100644
--- a/profile/infopath.sh
+++ b/profile/infopath.sh
@@ -1 +1,7 @@
-export INFOPATH="/usr/share/info:${XDG_DATA_HOME:-$HOME/.local/share}/info"
+# See 00_functions.sh for `path_add_unsafe'.
+
+path_add_unsafe INFOPATH \
+                /usr/share/info \
+                "${XDG_DATA_HOME:-$HOME/.local/share}/info"
+
+export INFOPATH
-- 
cgit 1.4.1-21-gabe81