Re: [gentoo-project] Call for Agenda Items -- Council Meeting 2015-10-11

[Ulrich Mueller <ulm@gentoo.org>]

[-- Attachment #1: Type: text/plain, Size: 2240 bytes --]

>>>>> On Mon, 12 Oct 2015, Michał Górny wrote:

> Dnia 2015-10-01, o godz. 08:32:01
> Rich Freeman <rich0@gentoo.org> napisał(a):

>> 2.  Games should be installed in /usr and not /usr/games as with
>> most applications

> This one was 2y-2n-3a, so I think we should try to reconsider it
> from another perspective to get more uniform vote. New facts about
> FHS also came up during the meeting.

> The specific directories, and they relevance to PMS:

1,$s/PMS/FHS/g; :)

> | GAMES_PREFIX=${GAMES_PREFIX:-/usr/games}
> | GAMES_BINDIR=${GAMES_BINDIR:-${GAMES_PREFIX}/bin}

> Custom Gentoo prefix. Implicitly causes /usr/games/bin for
> binaries, /usr/games/lib* for libraries.

> PMS states only /usr/games as bindir for games (i.e. no /bin subdir,
> no libraries).

I believe that installing binaries directly in /usr/games is not an
option for us, because of the existing subdirs. So if we decide to
keep /usr/games then binaries must stay in /usr/games/bin.

Not sure about /usr/games/lib*. If we follow the system of
/usr/share/games then libraries should be installed in /usr/lib*/games
(which is sort of pointless, because then they could as well go to
/usr/lib* directly).

> | GAMES_PREFIX_OPT=${GAMES_PREFIX_OPT:-/opt}

> Not used directly, only for prepgamesdirs which is going out.

/opt needs to stay the install location for binary-only packages.
I think this is clear and we don't need a decision.

> | GAMES_DATADIR=${GAMES_DATADIR:-/usr/share/games}

> PMS valid.

> | GAMES_DATADIR_BASE=${GAMES_DATADIR_BASE:-/usr/share}

> Not used at all. Intended for use when game appends 'games' itself...

> | GAMES_SYSCONFDIR=${GAMES_SYSCONFDIR:-/etc/games}

> Custom Gentoo path.

I have no strong opinion about /usr/share/games vs /usr/share and
/etc/games vs /etc. The additional subdir doesn't do any harm, but why
is it needed?

> | GAMES_STATEDIR=${GAMES_STATEDIR:-/var/games}

> PMS valid.

Keep. Rationale is in FHS section 5.7.

> | GAMES_LOGDIR=${GAMES_LOGDIR:-/var/log/games}

> Gentoo custom.

Won't work any more after dropping games user and group, because of
permission issues. FHS says game play logs should be placed in
/var/games too.

Ulrich

[-- Attachment #2: Type: application/pgp-signature, Size: 490 bytes --]