| 1 |
>>>>> On Mon, 12 Oct 2015, Michał Górny wrote: |
| 2 |
|
| 3 |
> Dnia 2015-10-01, o godz. 08:32:01 |
| 4 |
> Rich Freeman <rich0@g.o> napisał(a): |
| 5 |
|
| 6 |
>> 2. Games should be installed in /usr and not /usr/games as with |
| 7 |
>> most applications |
| 8 |
|
| 9 |
> This one was 2y-2n-3a, so I think we should try to reconsider it |
| 10 |
> from another perspective to get more uniform vote. New facts about |
| 11 |
> FHS also came up during the meeting. |
| 12 |
|
| 13 |
> The specific directories, and they relevance to PMS: |
| 14 |
|
| 15 |
1,$s/PMS/FHS/g; :) |
| 16 |
|
| 17 |
> | GAMES_PREFIX=${GAMES_PREFIX:-/usr/games} |
| 18 |
> | GAMES_BINDIR=${GAMES_BINDIR:-${GAMES_PREFIX}/bin} |
| 19 |
|
| 20 |
> Custom Gentoo prefix. Implicitly causes /usr/games/bin for |
| 21 |
> binaries, /usr/games/lib* for libraries. |
| 22 |
|
| 23 |
> PMS states only /usr/games as bindir for games (i.e. no /bin subdir, |
| 24 |
> no libraries). |
| 25 |
|
| 26 |
I believe that installing binaries directly in /usr/games is not an |
| 27 |
option for us, because of the existing subdirs. So if we decide to |
| 28 |
keep /usr/games then binaries must stay in /usr/games/bin. |
| 29 |
|
| 30 |
Not sure about /usr/games/lib*. If we follow the system of |
| 31 |
/usr/share/games then libraries should be installed in /usr/lib*/games |
| 32 |
(which is sort of pointless, because then they could as well go to |
| 33 |
/usr/lib* directly). |
| 34 |
|
| 35 |
> | GAMES_PREFIX_OPT=${GAMES_PREFIX_OPT:-/opt} |
| 36 |
|
| 37 |
> Not used directly, only for prepgamesdirs which is going out. |
| 38 |
|
| 39 |
/opt needs to stay the install location for binary-only packages. |
| 40 |
I think this is clear and we don't need a decision. |
| 41 |
|
| 42 |
> | GAMES_DATADIR=${GAMES_DATADIR:-/usr/share/games} |
| 43 |
|
| 44 |
> PMS valid. |
| 45 |
|
| 46 |
> | GAMES_DATADIR_BASE=${GAMES_DATADIR_BASE:-/usr/share} |
| 47 |
|
| 48 |
> Not used at all. Intended for use when game appends 'games' itself... |
| 49 |
|
| 50 |
> | GAMES_SYSCONFDIR=${GAMES_SYSCONFDIR:-/etc/games} |
| 51 |
|
| 52 |
> Custom Gentoo path. |
| 53 |
|
| 54 |
I have no strong opinion about /usr/share/games vs /usr/share and |
| 55 |
/etc/games vs /etc. The additional subdir doesn't do any harm, but why |
| 56 |
is it needed? |
| 57 |
|
| 58 |
> | GAMES_STATEDIR=${GAMES_STATEDIR:-/var/games} |
| 59 |
|
| 60 |
> PMS valid. |
| 61 |
|
| 62 |
Keep. Rationale is in FHS section 5.7. |
| 63 |
|
| 64 |
> | GAMES_LOGDIR=${GAMES_LOGDIR:-/var/log/games} |
| 65 |
|
| 66 |
> Gentoo custom. |
| 67 |
|
| 68 |
Won't work any more after dropping games user and group, because of |
| 69 |
permission issues. FHS says game play logs should be placed in |
| 70 |
/var/games too. |
| 71 |
|
| 72 |
Ulrich |
Archives