> The "dd" format is reminding of the n umerical notation in the month date, but at the same time may be confusingly similar and suggesting a two digit representation. "dddd" feels more related to the existing weekday name notations, one could think that longer token indicates lesser units in this case. I'm not sure which one to prefer.
That's roughly my thinking too. In particular, there is a precedent for longer tokens generating shorter substitutions. > How could a day of year-token fit into this? yDDD? If we stick with `dddd` for day of week, perhaps we'd use `ddddd` for day of year? Perhaps that's excessively long, but it does seem like a very unusual requirement in any case; only users who were looking for it would want it, if you see what I mean. > I think 0dd and dd should be an option. I think 0dd is needed to get easy default sort order. The day of week is a number from 1 to 7, so zero padding doesn't seem useful. Best wishes Jeremy On Tuesday, September 14, 2021 at 7:38:18 AM UTC+1 PMario wrote: > On Monday, September 13, 2021 at 8:46:04 PM UTC+2 Jeremy Ruston wrote: > > Now that I started to write out the rationale for the choice of "dddd", >> I'm realising that perhaps I think "dd" might be a better choice. What do >> others think? >> > > I think 0dd and dd should be an option. I think 0dd is needed to get easy > default sort order. > > -mario > > -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/2dea9327-a10c-4a24-bfe8-475a1d2e55afn%40googlegroups.com.
