Arch Linux

Please read this before reporting a bug:
https://wiki.archlinux.org/index.php/Reporting_Bug_Guidelines

Do NOT report bugs when a package is just outdated, or it is in Unsupported. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
Tasklist

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
Task Type Bug Report
Category Packages: Extra
Status Closed
Assigned To Kevin Piche (kpiche)
Architecture All
Severity Low
Priority Normal
Reported Version 2007.05 Duke
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 1
Private No

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

Closed by  Greg (dolby)
Saturday, 10 May 2008, 17:19 GMT
Reason for closing:  Fixed
Comment by Jan de Groot (JGC) - Friday, 06 July 2007, 06:08 GMT
I think the first few words from the title say enough. I see no reason to have drscheme in /opt.
Comment by Corrado Primier (bardo) - Sunday, 16 December 2007, 00:19 GMT
Attached a new PKGBUILD, drscheme.desktop and drscheme.install. Change summary:

* 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
Comment by Corrado Primier (bardo) - Sunday, 16 December 2007, 00:23 GMT
Stupid me, attached wrong PKGBUILD/drscheme.desktop, here's the fixed ones.
Comment by Arthur Danskin (wiremore) - Monday, 07 January 2008, 04:13 GMT
that pkgbuild works fine for me, thanks. I also noticed that 372 is out.
Comment by Aaron Griffin (phrakture) - Tuesday, 15 January 2008, 21:16 GMT
Poke poke, this would aid us with the "Kill /opt" TODO list on the dev dashboard.
Comment by Corrado Primier (bardo) - Monday, 25 February 2008, 00:42 GMT
Another month has gone and the package is still out of date... status on this?
Comment by Aaron Griffin (phrakture) - Monday, 10 March 2008, 18:27 GMT
Building now!
Comment by Corrado Primier (bardo) - Tuesday, 11 March 2008, 06:34 GMT
Great improvement! But still not ok... I just noticed that it doesn't conform the manpage standard, man pages are installed in /usr/man.
Comment by Aaron Griffin (phrakture) - Tuesday, 11 March 2008, 16:08 GMT
Crap, I didn't pay much attention to it. I'll try to rebuild later today.

Loading...