FS#7571 - drscheme installs into /opt, but does not set $MANPATH
Attached to Project:
Arch Linux
Opened by Arthur Danskin (wiremore) - Friday, 06 July 2007, 04:34 GMT
Last edited by Greg (dolby) - Saturday, 10 May 2008, 17:19 GMT
Opened by Arthur Danskin (wiremore) - Friday, 06 July 2007, 04:34 GMT
Last edited by Greg (dolby) - Saturday, 10 May 2008, 17:19 GMT
|
Details
Description:
drscheme.sh in /etc/profile.d does not set $MANPATH, so the drscheme man pages are not available through the man command. Additional info: * package version(s) * config and/or log files etc. Steps to reproduce: type "man mzscheme", and notice the lack of a man page, even though one exists at /opt/plt/man/man1/mzscheme.1.gz Fix: add "export MANPATH=$MANPATH/opt/plt/man" to /etc/profile.d/drscheme.sh |
This task depends upon
* installs in /usr instead of /opt
* removed drscheme.profile, not necessary anymore
* added drscheme.desktop
* replaced drscheme.install with one that takes care of drscheme.desktop
* cosmetic fixes to the PKGBUILD
drscheme.desktop (0.3 KiB)
drscheme.install (0.2 KiB)
drscheme.desktop (0.3 KiB)