Daniel Chao
Daniel Chao
What @neil-lobo said!
As far as I'm aware, Python's pickle doesn't have an official file extension. Python's authors themselves seem to have moved on from `.pkl`, and now prefer `.pickle`: https://stackoverflow.com/questions/40433474/preferred-or-most-common-file-extension-for-a-python-pickle For projects...
Agree; closing this.
How about we precent-encode them? According to [their docs](https://learn.microsoft.com/en-us/windows/win32/fileio/naming-a-file#naming-conventions), these characters are reserved: * < (less than) * \> (greater than) * : (colon) * " (double quote) * /...
I can see wanting that, especially if you are using the cache dir as a way to vendor dependencies in a repo. In that case, it might make more sense...
What does Windows do right now if you try to create a filename with a reserved character? E.g. if you do `echo "hello" > foo:bar.txt`? Note: for percent-encoding, we will...
Yeah, ideally reversible, which is why percent-encoding seems like a good choice here.
Hm... this impacts pkldoc too. This means that generated pkldoc websites should also use percent encoding, otherwise we can't write directories or filenames onto Windows. @mitchcapper good to know. I...
WRT encoding: * Scala does not do any encoding; generating scaladoc on Windows will error if a class name contains a reserved character. * Kotlin's Dokka wraps reserved characters in...
Maybe we can copy Dokka. We can simply represent verbatim `[` as `[[`. Multiple `[` literals would just be double the amount of `[`. I don't think we need a...