Re: [gentoo-dev] PSA: 13.0 profiles will be removed in a week

2019-06-29 Thread Sergei Trofimovich
On Fri, 21 Jun 2019 15:17:31 +0200 Michał Górny wrote: > On Fri, 2019-06-21 at 07:54 +0100, Sergei Trofimovich wrote: > > On Wed, 19 Jun 2019 15:29:33 -0400 > > "Anthony G. Basile" wrote: > > > > > On 6/19/19 3:19 AM, Sergei Trofimovich wrote: > > > > This is now tracked as

[gentoo-dev] RFC: isodate for packages.mask starting on 2019-07-01

2019-06-29 Thread Jonas Stein
Dear all, Situation: We have different date formats in packages.mask. Change: I suggest that we start using the date format -mm-dd for all dates in packages.mask starting with 2019-07-01 The following changes in packages.mask will introduce the date format, specify the timezone, and use

Re: [gentoo-dev] RFC: isodate for packages.mask starting on 2019-07-01

2019-06-29 Thread Michał Górny
On Sat, 2019-06-29 at 13:23 +0200, Jonas Stein wrote: > Dear all, > > Situation: > We have different date formats in packages.mask. > > > Change: > I suggest that we start using the date format -mm-dd > for all dates in packages.mask > starting with 2019-07-01 > > The following changes in

Re: [gentoo-dev] RFC: isodate for packages.mask starting on 2019-07-01

2019-06-29 Thread Benda Xu
Hi Jonas, Jonas Stein writes: > Dear all, > > Situation: > We have different date formats in packages.mask. > > Change: > I suggest that we start using the date format -mm-dd > for all dates in packages.mask > starting with 2019-07-01 For me isodate is more readable. I would vote for this

[gentoo-dev] Re: RFC: isodate for packages.mask starting on 2019-07-01

2019-06-29 Thread Fabian Groffen
I think ISO 8601 date format is an improvement. However, as you're suggesting to use a date at UTC time, this begs for scripting, such as the old echangelog did. Then, when scripted, the actual date format is no longer an issue. Somehow the current format looks easier to read (for humans) to

Re: [gentoo-dev] RFC: isodate for packages.mask starting on 2019-07-01

2019-06-29 Thread Jonas Stein
Hi Michał, I see your argument with "Larry" as bad example user. I will not touch it for now. But we should think about it some day later because we have Larry as example user in many places already. I will put this in another RFC. >> * 2019-01-01 + 30 days is unclear, if we do not use UTC time

Re: [gentoo-dev] Re: RFC: isodate for packages.mask starting on 2019-07-01

2019-06-29 Thread Jonas Stein
Hi Fabian, > I think ISO 8601 date format is an improvement. Great. > However, as you're suggesting to use a date at UTC time, this begs for > scripting, such as the old echangelog did. Absolutely but this is a more complicate step, I want to discuss this later. -- Best, Jonas

Re: [gentoo-dev] RFC: isodate for packages.mask starting on 2019-07-01

2019-06-29 Thread Jonas Stein
Hi Benda, thank you for your quick response. >> Change: >> I suggest that we start using the date format -mm-dd >> for all dates in packages.mask >> starting with 2019-07-01 > > For me isodate is more readable. I would vote for this change. Great. I know, that some people prefer their