Gentoo Archives: gentoo-dev

From: "Michał Górny" <mgorny@g.o>
To: gentoo-dev@l.g.o
Cc: "Michał Górny" <mgorny@g.o>
Subject: [gentoo-dev] [PATCH] glep-0082: Add profile-eapis-* keys
Date: Sun, 01 Aug 2021 16:14:19
Message-Id: 20210801161406.4244-1-mgorny@gentoo.org
1 Signed-off-by: Michał Górny <mgorny@g.o>
2 ---
3 glep-0082.rst | 20 +++++++++++++++++---
4 1 file changed, 17 insertions(+), 3 deletions(-)
5
6 diff --git a/glep-0082.rst b/glep-0082.rst
7 index 6703313..841265c 100644
8 --- a/glep-0082.rst
9 +++ b/glep-0082.rst
10 @@ -4,10 +4,10 @@ Title: Repository configuration file (layout.conf)
11 Author: Michał Górny <mgorny@g.o>
12 Type: Standards Track
13 Status: Draft
14 -Version: 1.0
15 +Version: 1.1
16 Created: 2021-05-19
17 -Last-Modified: 2021-05-31
18 -Post-History: 2021-05-19
19 +Last-Modified: 2021-08-01
20 +Post-History: 2021-05-19, 2021-08-01
21 Content-Type: text/x-rst
22 ---
23
24 @@ -159,6 +159,20 @@ eapis-banned = <space-separated EAPI names>
25 be blocked. If not specified, no EAPIs are banned. This key
26 does not apply to EAPI use in profiles.
27
28 +profile-eapis-deprecated = <space-separated EAPI names>
29 + Specifies one or more EAPIs that are to be considered deprecated
30 + by the development tools for use in profiles, i.e. their use
31 + in any of the profiles listed in ``profiles/profiles.desc`` or their
32 + parent profiles should trigger a warning. If not specified, no EAPIs
33 + are deprecated.
34 +
35 +profile-eapis-banned = <space-separated EAPI names>
36 + Specifies one or more EAPIs that are to be considered banned
37 + by the development tools for use in profiles, i.e. their use
38 + in any of the profiles listed in ``profiles/profiles.desc`` or their
39 + parent profiles should be blocked. If not specified, no EAPIs
40 + are banned.
41 +
42 repo-name = <string>
43 Specifies the repository name. If specified, it must be equal
44 to the contents of ``profiles/repo_name``. If not specified,
45 --
46 2.32.0