Re: Man problems
On 7 Jan, XRD Lab wrote:
>
> How do I update the database ...
man -u
(mandb should anyway run weekly at 6 am), but your problem 1) is related
to your solution to 2).
>
> 2. I recently installed MuPAD. To access its manuals, I added the
> following line to /etc/profile
>
> MANPATH=$MANPATH:/usr/local/MuPAD/share/man
>
> But this somehow removes the usual man directories from the search path.
> How do I add new directories to the MANPATH without trashing the earlier
> ones in my own .bash_profile?
>
In /etc/manpath.config just add the row:
MANDATORY_MANPATH /usr/local/MuPAD/share/man
and remove what you added in /etc/profile.
This should solve also problem 1)
Fabrizio
--
| fpolacco@icenet.fi fpolacco@debian.org fpolacco@pluto.linux.it
| Pluto Leader - Debian Developer & Happy Debian 1.3.1 User - vi-holic
| 6F7267F5 fingerprint 57 16 C4 ED C9 86 40 7B 1A 69 A1 66 EC FB D2 5E
> more than 35 months are needed to get rid of the millennium. [me]
--
TO UNSUBSCRIBE FROM THIS MAILING LIST: e-mail the word "unsubscribe" to
debian-user-request@lists.debian.org .
Trouble? e-mail to templin@bucknell.edu .
Reply to: