discord-csharp
!time command
Sometimes, it could be useful to see the local time of other members on the server (e.g. you may want to know if someone is available). I propose some sort of time functionality, where one can register themselves into a certain time zone, and others can request the the time at a certain member's location. For example:
!settz -5 # Sets my time zone to UTC -05:00
!settz EST # Will also set time zone to UTC -05:00
!time reflectronic # 🕝 Tuesday, February 11, 2020 at 1:33:52 AM
Open questions:
- How should we deal with daylight savings time? (Generally time is hard to get right, and it may just be acceptable to just require it be manually adjusted.)
Daylight saving time
What if we store one of those instead of explicit UTC offset so the bot can account for DST as well?
Daylight saving time
What if we store one of those instead of explicit UTC offset so the bot can account for DST as well?
Seems like the obvious answer, from the get go. Timezones != offsets. If we want timezones, we use timezones, not offsets.
How about we provide roles that users can self-assign that designate their timezone, rather than requiring use of a command? We probably wouldn't want to support ALL possible timezones, for fear of cluttering the roles list, but we can have them setup such that the names must follow a format that contains the standard timezone identifier, so MODiX can extract it and perform a standardized conversion. That would make this feature completely stateless.
If a user provides their timezone couldn't TimeZoneInfo.IsDaylightSavingTime be used? https://docs.microsoft.com/en-us/dotnet/api/system.timezoneinfo.isdaylightsavingtime?view=net-5.0
As part of a new effort to refocus on priorities, I will close this. If you feel this is imperative to the bot, a new issue can be opened to supersede this.
