| 1 |
>>>>> On Sun, 29 Nov 2015, Kristian Fiskerstrand wrote: |
| 2 |
|
| 3 |
> the Gentoo Council will meet again on Sunday, December 13 at 19:00 UTC |
| 4 |
> in #gentoo-council on FreeNode. |
| 5 |
|
| 6 |
> Please reply to this message with any items you would like us to discuss |
| 7 |
> or vote on. |
| 8 |
|
| 9 |
I'd like us to revisit the games policies already discussed in the |
| 10 |
20151011 meeting [1]. |
| 11 |
|
| 12 |
The Council accepted the following motion: |
| 13 |
"1. Decide that games should not be owned by a games group, and |
| 14 |
that in the default configuration users should not have to be in |
| 15 |
the games group to run games." |
| 16 |
|
| 17 |
However, the following was a tie vote (and therefore did not pass): |
| 18 |
"2. Games should be installed in /usr and not /usr/games as with |
| 19 |
most applications" |
| 20 |
|
| 21 |
I propose to vote on the following motion (which is basically 2 with |
| 22 |
minor refinements): |
| 23 |
|
| 24 |
The /usr/games directory is deprecated. Games packages should _not_ |
| 25 |
install any files there, but follow the normal guidelines for |
| 26 |
install locations instead. Two exceptions are made: |
| 27 |
a) Games packages can install files in /usr/share/games (instead |
| 28 |
of /usr/share) if that is the location used by upstream. |
| 29 |
b) Shared high-score or game state files can be placed in |
| 30 |
/var/games or a subdirectory of it. |
| 31 |
|
| 32 |
Possibly we could then reconsider item 3. of rich0's proposal [2]. |
| 33 |
|
| 34 |
Ulrich |
| 35 |
|
| 36 |
|
| 37 |
[1] https://projects.gentoo.org/council/meeting-logs/20151011-summary.txt |
| 38 |
[2] https://archives.gentoo.org/gentoo-project/message/16fc54d2bced9ff51b71d387eb0fb36b |
Archives