Closed 517qf closed 6 years ago
[[
, for instanceThere is some thinking behind this note ID regexp: Some people create notes (e.g. from highlighted sections in PDF files) in bulk via script. They obviously create more than 1 note per second. The dot, in this case, can be used to:
a) indicate that this is an autogenerated note, like 20180513021937.1 b) function as a millisecond separator
The length 18, thus, is perfect for creating notes with millisecond precision.
Creating a pull request is a great idea, as it indeed saves me time.
But here I have the very strong opinion that this part of the code does not need fixing, and it's better to keep the flexibility.
thanks for your detailed reply. This was very instructive for me. If you feel that I spam the issue list (in addition with far fetched stuff) let me know.
I am not going to censor you (yet 😄 ). You are entitled to your opinions, wishes, recommendations, suggestions, ...
Please check my ideas very carefully (I haven't tested it):
{12,18}
to{12,14}
at beginning
but the regex matches everywhere (I think). I'm not sure if the ^ also refers to the alternative?.
?I thought such a pull request might save you some work compared two yet another issue. dismiss it without comment if it saves you time.