| 1 |
On 01/07/2019 09.30, Michał Górny wrote: |
| 2 |
> On Mon, 2019-07-01 at 02:29 +0200, Jonas Stein wrote: |
| 3 |
>> Dear all, |
| 4 |
>> |
| 5 |
>>> [..] |
| 6 |
>>> Change: |
| 7 |
>>> I suggest that we start using the date format yyyy-mm-dd |
| 8 |
>>> for all dates in package.mask |
| 9 |
>>> starting with 2019-07-01 |
| 10 |
>>> [..] |
| 11 |
>> |
| 12 |
>> Thank you for your quick responses. |
| 13 |
>> package.mask uses now ISO 8601 dates. |
| 14 |
>> |
| 15 |
>> https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c621d104eb258b5fc4b05dfb9940bc26cab7f959 |
| 16 |
>> |
| 17 |
> |
| 18 |
> Could you also look into converting other profile files? They were |
| 19 |
> known to have even less consistency than top-level package.mask. |
| 20 |
|
| 21 |
Good point. I will have a look at it. |
| 22 |
It will take some time, because the date formats there are mixed a lot |
| 23 |
and we cannot convert it blind with a script. |
| 24 |
|
| 25 |
-- |
| 26 |
Best, |
| 27 |
Jonas |
Archives