diff options
author | Alexey Shmalko <rasen.dubi@gmail.com> | 2016-07-29 13:00:11 +0300 |
---|---|---|
committer | Domen Kožar <domen@dev.si> | 2016-07-29 12:00:11 +0200 |
commit | eef754813f5a9d77ceeb0f10981d0a324967dc02 (patch) | |
tree | a4f70fd2120ea6ecfd94ec468e59b01a905dad77 /.gitignore | |
parent | ee22a91ab847f63a22466f3bf63e33ca29da9cfe (diff) |
Set $MANPATH (#1005)
Currently, man has issues finding man pages for Nix-installed
application (also, `nix-env --help` doesn't work). The issue is caused
by custom `$MANPATH` set by my system. That makes man use it instead of
searching in default location.
Either of next lines workaround the issue:
```sh
unset MANPATH
export MANPATH=$HOME/.nix-profile/share/man:$MANPATH
```
This patch adds the later line to the `nix-profile.sh` if user has
`MANPATH` set. (Not clearing `MANPATH` as that would be disrespect of
user's preferences.)
As a side-effect, host's man might find man pages installed by Nix.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions