add comment d05f01c7b06ef3354ee22dc614560fdd on issue dd20d3ddc86ee802fe7b15e2c91dc160
This commit is contained in:
parent
7292c6a39a
commit
99f43accdc
1 changed files with 16 additions and 0 deletions
|
|
@ -0,0 +1,16 @@
|
||||||
|
Another option is to escape '/' in tags when turning them into filenames.
|
||||||
|
|
||||||
|
Let's somewhat arbitrarily say we use ',' as the escape character.
|
||||||
|
|
||||||
|
',' in a tag would be replaced with the two-character sequence ',0'
|
||||||
|
in the filename.
|
||||||
|
|
||||||
|
'/' in a tag would be replaced with ',1' in the filename.
|
||||||
|
|
||||||
|
(And so on for any other characters we need to escape.)
|
||||||
|
|
||||||
|
This would give the user the behavior we want, which is to be free to use
|
||||||
|
'/' in tags.
|
||||||
|
|
||||||
|
The implementation detail of escaped tags would be hidden from the user
|
||||||
|
unless they dug into the on-disk format by hand.
|
||||||
Loading…
Add table
Add a link
Reference in a new issue