OK, I'm thinking now: * To change the token for week number to `dd` * To add a new token for day of year `dddd` and `0dddd`
Best wishes Jeremy On Tuesday, September 14, 2021 at 12:34:53 PM UTC+1 PMario wrote: > On Tuesday, September 14, 2021 at 10:19:10 AM UTC+2 Jeremy Ruston wrote: > > If we stick with `dddd` for day of week, perhaps we'd use `ddddd` for day >> of year? > > > They are very similar. For me it's difficult to recognise a difference. > ... > > >> 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. > > > You are right. Only users that search for it will use it. > > >> > 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. >> > > Right. My bad. > > But ddddd day of year may have 1 or 2 leading zeros. ... > > -m > -- 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/151aa0b9-7b3c-4056-90e5-46e1d2686f89n%40googlegroups.com.

