diff options
author | Michał Górny <mgorny@gentoo.org> | 2017-11-21 18:22:34 +0100 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2017-11-25 21:49:16 +0100 |
commit | a9afe58c29b0d3be183a75c23ffbb4ea25af5ca9 (patch) | |
tree | d4479690c51b243e1635b6afea0826ab15f6ad24 /glep-0074.rst | |
parent | glep-0074: Mention that newline needs to be restricted too in rationale (diff) | |
download | glep-a9afe58c29b0d3be183a75c23ffbb4ea25af5ca9.tar.gz glep-a9afe58c29b0d3be183a75c23ffbb4ea25af5ca9.tar.bz2 glep-a9afe58c29b0d3be183a75c23ffbb4ea25af5ca9.zip |
glep-0074: Specify slash as path separator, disallow backwards slash
Diffstat (limited to 'glep-0074.rst')
-rw-r--r-- | glep-0074.rst | 18 |
1 files changed, 13 insertions, 5 deletions
diff --git a/glep-0074.rst b/glep-0074.rst index d0750f5..6288175 100644 --- a/glep-0074.rst +++ b/glep-0074.rst @@ -134,10 +134,11 @@ be explicitly excluded via ``IGNORE``. All paths specified in the Manifest file must consist of characters corresponding to valid UTF-8 code points excluding the NULL character -(``U+0000``) and characters classified as whitespace in the current -version of the Unicode standard [#UNICODE]_. It is an error to use -Manifest files in directories containing files whose names contain -the disallowed characters. +(``U+0000``), the backwards slash (``\``) and characters classified +as whitespace in the current version of the Unicode standard +[#UNICODE]_. It is an error to use Manifest files in directories +containing files whose names contain the disallowed characters. +The forward slash (``/``) must be used as path separator. File verification @@ -570,7 +571,14 @@ technically problematic groups: written using C. Furthermore, it is not allowed in any known filesystem. -2. Whitespace characters are used to separate Manifest fields +2. The backwards slash character (``\``) is frequently used as an escape + character, in particular in the languages derived from C and in shell + script. Furthermore, it is used as path separator on Windows systems. + It is forbidden to avoid implementation mistakes (in particular, + attempting to use it to escape whitespace or as path separator + on Windows) but also reserved for possible future extension. + +3. Whitespace characters are used to separate Manifest fields and entries. While technically it would be enough to restrict space (``U+0020``) character that is normally used as the separator and newline (``U+000A``) character that is used to separate lines, |