Your message dated Thu, 19 Jun 2008 20:11:47 +0200 (CEST)
with message-id <[EMAIL PROTECTED]>
and subject line Re: Bug#487105: base-files: PATH doesn't include
/usr/local/games
has caused the Debian Bug report #487105,
regarding base-files: PATH doesn't include /usr/local/games
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [EMAIL PROTECTED]
immediately.)
--
487105: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=487105
Debian Bug Tracking System
Contact [EMAIL PROTECTED] with problems
--- Begin Message ---
Package: base-files
Version: 4.0.4
Severity: wishlist
Just noticed that the default profile doesn't include /usr/local/games
in $PATH, while the base-files postinst creates it and games installed
from source may use it.
--
bye,
pabs
http://wiki.debian.org/PaulWise
signature.asc
Description: This is a digitally signed message part
--- End Message ---
--- Begin Message ---
On Fri, 20 Jun 2008, Paul Wise wrote:
Package: base-files
Version: 4.0.4
Severity: wishlist
Just noticed that the default profile doesn't include /usr/local/games
in $PATH, while the base-files postinst creates it and games installed
from source may use it.
It does, for users who are not root.
The rationale is that as root should only be used to do admin stuff,
it should not need games to be in the PATH.
--- End Message ---
