reopen 487105 thanks On Thu, 2008-06-19 at 20:11 +0200, Santiago Vila wrote:
> > 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. Actually it does not: [EMAIL PROTECTED]:~$ grep PATH /usr/share/base-files/profile | grep /usr/local/games [EMAIL PROTECTED]:~$ grep /usr/local/games /usr/share/base-files/profile [EMAIL PROTECTED]:~$ dpkg -L base-files | xargs zgrep /usr/local/games /usr/share/doc/base-files/changelog.gz: * Removed /var/state and /var/state/misc, added /usr/local/games. [EMAIL PROTECTED]:~$ echo $PATH | grep /usr/local/games [EMAIL PROTECTED]:~$ Perhaps you mean /usr/games rather than /usr/local/games? > The rationale is that as root should only be used to do admin stuff, > it should not need games to be in the PATH. Makes sense to me. -- bye, pabs http://wiki.debian.org/PaulWise
signature.asc
Description: This is a digitally signed message part
