diff options
author | Michał Górny <mgorny@gentoo.org> | 2017-11-23 21:51:33 +0100 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2017-11-25 21:49:17 +0100 |
commit | 047b1758b4c5e890c8e397e77e119061f7c995c0 (patch) | |
tree | c7cfe50d101e266fad6895131e1f4b6853f37248 | |
parent | glep-0074: Make extended filename encoding optional (diff) | |
download | glep-047b1758b4c5e890c8e397e77e119061f7c995c0.tar.gz glep-047b1758b4c5e890c8e397e77e119061f7c995c0.tar.bz2 glep-047b1758b4c5e890c8e397e77e119061f7c995c0.zip |
glep-0074: Grammar corrections from Ulrich Müller
-rw-r--r-- | glep-0074.rst | 23 |
1 files changed, 11 insertions, 12 deletions
diff --git a/glep-0074.rst b/glep-0074.rst index 5270b7a..7791c1d 100644 --- a/glep-0074.rst +++ b/glep-0074.rst @@ -8,7 +8,7 @@ Type: Standards Track Status: Draft Version: 1 Created: 2017-10-21 -Last-Modified: 2017-11-16 +Last-Modified: 2017-11-23 Post-History: 2017-10-26, 2017-11-16 Content-Type: text/x-rst Requires: 59, 61 @@ -139,17 +139,16 @@ Path and filename encoding The path fields in the Manifest file must consist of characters corresponding to valid UTF-8 code points excluding the backwards slash -(``\``) and characters classified as control characters and whitespace +(``\``) and characters classified as control characters or as whitespace in the current version of the Unicode standard [#UNICODE]_. The implementation can optionally support extended filename encoding -to support those paths. If the encoding is not supported, -the implementation must reject directories containing any files using -non-compliant names, as well as Manifest files whose filename field -contains such filenames. +to support those paths. If encoding is not supported, the implementation +must reject directories containing any files using non-compliant names, +as well as Manifest files whose filename field contains such filenames. -If the encoding is supported, then all of the excluded characters that -are present in path must be encoded using one of the following escape +If encoding is supported, then all of the excluded characters that +are present in paths must be encoded using one of the following escape sequences: - characters in the ``U+0000`` to ``U+007F`` range can be encoded @@ -164,9 +163,9 @@ sequences: where ``HHHHHHHH`` specifies the zero-padded, hexadecimal character code. -It is invalid for backwards slash to be used in any other context, -and a backwards slash present in filename must be encoded. Backwards -slash used as path component separator should be replaced by forward +It is invalid for the backwards slash to be used in any other context, +and a backwards slash present in filename must be encoded. A backwards +slash used as a path component separator should be replaced by a forward slash instead. The encoding can be used for other characters as well. In particular, @@ -624,7 +623,7 @@ solve the problem only partially. To preserve compatibility with the current implementations and given that all of the listed characters are not allowed for the foreseeable -Gentoo uses, the extended encoding support is optional. If such support +Gentoo uses, extended encoding support is optional. If such support is not provided, the implementation must unconditionally reject any such files. Ignoring them implicitly would be confusing, and it is not possible to use them in explicit ``IGNORE`` entries. |