diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-02-21 16:54:01 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-21 16:54:01 +0100 |
| commit | b98ce1954481a9e40ca640c934599633bebeed80 (patch) | |
| tree | f7152910a69013e44ace6a4b72e504d3a5c0790f /scripts | |
| parent | e2422c45820b3c71665669972939be90248e3ad5 (diff) | |
| parent | 44b7d104b403062bf9ad57363f76464e355bc9a2 (diff) | |
Merge pull request #6138 from nmattia/nm-clarify-manpath
Document usage of MANPATH in nix-profile.sh
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/nix-profile.sh.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/nix-profile.sh.in b/scripts/nix-profile.sh.in index 8cba1c522..45cbcbe74 100644 --- a/scripts/nix-profile.sh.in +++ b/scripts/nix-profile.sh.in @@ -24,6 +24,9 @@ if [ -n "$HOME" ] && [ -n "$USER" ]; then export NIX_SSL_CERT_FILE="$NIX_LINK/etc/ca-bundle.crt" fi + # Only use MANPATH if it is already set. In general `man` will just simply + # pick up `.nix-profile/share/man` because is it close to `.nix-profile/bin` + # which is in the $PATH. For more info, run `manpath -d`. if [ -n "${MANPATH-}" ]; then export MANPATH="$NIX_LINK/share/man:$MANPATH" fi |