* [gentoo-dev] [PATCH] glep-0082: Add profile-eapis-* keys
@ 2021-08-01 16:14 Michał Górny
0 siblings, 0 replies; only message in thread
From: Michał Górny @ 2021-08-01 16:14 UTC (permalink / raw
To: gentoo-dev; +Cc: Michał Górny
Signed-off-by: Michał Górny <mgorny@gentoo.org>
---
glep-0082.rst | 20 +++++++++++++++++---
1 file changed, 17 insertions(+), 3 deletions(-)
diff --git a/glep-0082.rst b/glep-0082.rst
index 6703313..841265c 100644
--- a/glep-0082.rst
+++ b/glep-0082.rst
@@ -4,10 +4,10 @@ Title: Repository configuration file (layout.conf)
Author: Michał Górny <mgorny@gentoo.org>
Type: Standards Track
Status: Draft
-Version: 1.0
+Version: 1.1
Created: 2021-05-19
-Last-Modified: 2021-05-31
-Post-History: 2021-05-19
+Last-Modified: 2021-08-01
+Post-History: 2021-05-19, 2021-08-01
Content-Type: text/x-rst
---
@@ -159,6 +159,20 @@ eapis-banned = <space-separated EAPI names>
be blocked. If not specified, no EAPIs are banned. This key
does not apply to EAPI use in profiles.
+profile-eapis-deprecated = <space-separated EAPI names>
+ Specifies one or more EAPIs that are to be considered deprecated
+ by the development tools for use in profiles, i.e. their use
+ in any of the profiles listed in ``profiles/profiles.desc`` or their
+ parent profiles should trigger a warning. If not specified, no EAPIs
+ are deprecated.
+
+profile-eapis-banned = <space-separated EAPI names>
+ Specifies one or more EAPIs that are to be considered banned
+ by the development tools for use in profiles, i.e. their use
+ in any of the profiles listed in ``profiles/profiles.desc`` or their
+ parent profiles should be blocked. If not specified, no EAPIs
+ are banned.
+
repo-name = <string>
Specifies the repository name. If specified, it must be equal
to the contents of ``profiles/repo_name``. If not specified,
--
2.32.0
^ permalink raw reply related [flat|nested] only message in thread
only message in thread, other threads:[~2021-08-01 16:14 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2021-08-01 16:14 [gentoo-dev] [PATCH] glep-0082: Add profile-eapis-* keys Michał Górny
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox