From 5056dceda84def0c791601f3d32196c7065ec466 Mon Sep 17 00:00:00 2001
From: SqrtMinusOne <thexcloud@gmail.com>
Date: Tue, 14 Feb 2023 23:52:48 +0300
Subject: [PATCH] fix(console): correct MANPATH setup in .profile

---
 .profile    | 5 ++++-
 Console.org | 5 ++++-
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/.profile b/.profile
index 2dd44bd..8e767d7 100644
--- a/.profile
+++ b/.profile
@@ -42,6 +42,9 @@ if [ -z "$IS_ANDROID" ]; then
             GUIX_PROFILE="$profile"
             . "$GUIX_PROFILE"/etc/profile
         fi
+        if [ -d "$profile"/share/man ]; then
+            export MANPATH="${MANPATH:-$(manpath)}:$profile/share/man"
+        fi
         export XDG_DATA_DIRS="$XDG_DATA_DIRS:$profile/share"
         unset profile
     done
@@ -98,7 +101,7 @@ export NPM_CONFIG_USERCONFIG=$HOME/._npmrc
 NPM_PACKAGES="${HOME}/.npm-packages"
 
 export PATH="$PATH:$NPM_PACKAGES/bin"
-export MANPATH="${MANPATH-$(manpath)}:$NPM_PACKAGES/share/man"
+export MANPATH="${MANPATH:-$(manpath)}:$NPM_PACKAGES/share/man"
 # npm:3 ends here
 
 # [[file:Console.org::*XResources][XResources:1]]
diff --git a/Console.org b/Console.org
index d1c0ecb..87725f9 100644
--- a/Console.org
+++ b/Console.org
@@ -70,6 +70,9 @@ if [ -z "$IS_ANDROID" ]; then
             GUIX_PROFILE="$profile"
             . "$GUIX_PROFILE"/etc/profile
         fi
+        if [ -d "$profile"/share/man ]; then
+            export MANPATH="${MANPATH:-$(manpath)}:$profile/share/man"
+        fi
         export XDG_DATA_DIRS="$XDG_DATA_DIRS:$profile/share"
         unset profile
     done
@@ -149,7 +152,7 @@ Set PATH & MANPATH
 NPM_PACKAGES="${HOME}/.npm-packages"
 
 export PATH="$PATH:$NPM_PACKAGES/bin"
-export MANPATH="${MANPATH-$(manpath)}:$NPM_PACKAGES/share/man"
+export MANPATH="${MANPATH:-$(manpath)}:$NPM_PACKAGES/share/man"
 #+end_src
 ** XResources
 | Guix dependency |