1 |
commit: 5ba06543e8d104d86ee6823d16b2167b31ee3b87 |
2 |
Author: Michał Górny <mgorny <AT> gentoo <DOT> org> |
3 |
AuthorDate: Tue Nov 21 17:22:34 2017 +0000 |
4 |
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> |
5 |
CommitDate: Tue Nov 21 17:22:34 2017 +0000 |
6 |
URL: https://gitweb.gentoo.org/data/glep.git/commit/?id=5ba06543 |
7 |
|
8 |
glep-0074: Specify slash as path separator, disallow backwards slash |
9 |
|
10 |
glep-0074.rst | 18 +++++++++++++----- |
11 |
1 file changed, 13 insertions(+), 5 deletions(-) |
12 |
|
13 |
diff --git a/glep-0074.rst b/glep-0074.rst |
14 |
index d0750f5..6288175 100644 |
15 |
--- a/glep-0074.rst |
16 |
+++ b/glep-0074.rst |
17 |
@@ -134,10 +134,11 @@ be explicitly excluded via ``IGNORE``. |
18 |
|
19 |
All paths specified in the Manifest file must consist of characters |
20 |
corresponding to valid UTF-8 code points excluding the NULL character |
21 |
-(``U+0000``) and characters classified as whitespace in the current |
22 |
-version of the Unicode standard [#UNICODE]_. It is an error to use |
23 |
-Manifest files in directories containing files whose names contain |
24 |
-the disallowed characters. |
25 |
+(``U+0000``), the backwards slash (``\``) and characters classified |
26 |
+as whitespace in the current version of the Unicode standard |
27 |
+[#UNICODE]_. It is an error to use Manifest files in directories |
28 |
+containing files whose names contain the disallowed characters. |
29 |
+The forward slash (``/``) must be used as path separator. |
30 |
|
31 |
|
32 |
File verification |
33 |
@@ -570,7 +571,14 @@ technically problematic groups: |
34 |
written using C. Furthermore, it is not allowed in any known |
35 |
filesystem. |
36 |
|
37 |
-2. Whitespace characters are used to separate Manifest fields |
38 |
+2. The backwards slash character (``\``) is frequently used as an escape |
39 |
+ character, in particular in the languages derived from C and in shell |
40 |
+ script. Furthermore, it is used as path separator on Windows systems. |
41 |
+ It is forbidden to avoid implementation mistakes (in particular, |
42 |
+ attempting to use it to escape whitespace or as path separator |
43 |
+ on Windows) but also reserved for possible future extension. |
44 |
+ |
45 |
+3. Whitespace characters are used to separate Manifest fields |
46 |
and entries. While technically it would be enough to restrict space |
47 |
(``U+0020``) character that is normally used as the separator |
48 |
and newline (``U+000A``) character that is used to separate lines, |