Gentoo Archives: gentoo-dev

From: J Robert Ray <jrray@g.o>
To: Nick Jones <carpaski@××××××.net>
Cc: Stephan Feder <sf@×××××.de>, gentoo-dev@g.o
Subject: Re: [gentoo-dev] package not put into world
Date: Wed, 05 Feb 2003 15:26:11
Message-Id: 3E412AF5.2030406@gentoo.org
In Reply to: Re: [gentoo-dev] package not put into world by Nick Jones
1 -----BEGIN PGP SIGNED MESSAGE-----
2 Hash: SHA1
3
4 Nick Jones wrote:
5 | If it isn't merged, it isn't a candidate for world. If it isn't
6 | explicitly merged, it won't be added. Not a bug as I see it. If
7 | you care to make a contrary argument, I'll consider it.
8
9 I feel the world file should be updated regardless if the package is
10 already installed or not.
11
12 You say that it won't be added "if it isn't explicitly merged." Do mean
13 explicit in the sense that the user asked for it, or in the sense of it
14 merely actually happening, in the case when it isn't already installed?
15 ~ In my opinion, "emerge -u foo" is just as explicit as "emerge foo." In
16 either case, the user has asked to install foo. With -u, the user has
17 asked for more things to happen in addition to installing foo.
18
19 Emerge will short-circuit an install with -u if a package is already
20 up-to-date, acting similar to the -n option. This should be considered
21 a special case. If the package is not already installed, foo does get
22 added to the world file. But, in our special case, it does not. I feel
23 this behavior is inconsistent. The user shouldn't be required to
24 anticipate when this special case may occur.
25
26 I cannot come up with an argument to support adding a package to the
27 world file during an update except when the package is already
28 installed. The package should either be added to the world file in all
29 cases or no cases, with -u. Since there is a --oneshot option, it makes
30 more sense to add the package to the world file by default.
31
32 - - Robert
33 -----BEGIN PGP SIGNATURE-----
34 Version: GnuPG v1.2.1 (GNU/Linux)
35 Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
36
37 iD8DBQE+QSr1bv6Y11NqSv8RAg69AKDPo8/eNcwpY68XVz0HBuPL/PLUewCgruGd
38 JSAy9myDzTwY/+IlqvccdM0=
39 =D7Di
40 -----END PGP SIGNATURE-----
41
42
43 --
44 gentoo-dev@g.o mailing list