##// END OF EJS Templates
store: explain "aux.foo" versus "foo.aux" in doc of _auxencode()
Adrian Buehlmann -
r17569:e9af2134 default
parent child Browse files
Show More
@@ -127,8 +127,10 b' def _auxencode(path, dotencode):'
127 127 period or space. Does not touch other single reserved characters c.
128 128 Specifically, c in '\\:*?"<>|' or ord(c) <= 31 are *not* encoded here.
129 129 Additionally encodes space or period at the beginning, if dotencode is
130 True.
131 path is assumed to be all lowercase.
130 True. Parameter path is assumed to be all lowercase.
131 A segment only needs encoding if a reserved name appears as a
132 basename (e.g. "aux", "aux.foo"). A directory or file named "foo.aux"
133 doesn't need encoding.
132 134
133 135 >>> _auxencode('.foo/aux.txt/txt.aux/con/prn/nul/foo.', True)
134 136 '~2efoo/au~78.txt/txt.aux/co~6e/pr~6e/nu~6c/foo~2e'
General Comments 0
You need to be logged in to leave comments. Login now