On Thursday, February 21, 2019 at 9:54:23 PM UTC-5, Jon Zeppieri wrote: > > > > On Thu, Feb 21, 2019 at 9:48 PM Brian Adkins <lojic...@gmail.com > <javascript:>> wrote: > >> On Thursday, February 21, 2019 at 9:35:58 PM UTC-5, Brian Adkins wrote: >>> >>> On Thursday, February 21, 2019 at 9:26:07 PM UTC-5, Brian Adkins wrote: >>>> >>>> I'm using the (today) function from the gregor library. It was >>>> returning tomorrow instead of today, so I thought the problem was the >>>> timezone on my Ubuntu server. I configured the timezone to be US/Eastern >>>> via: sudo dpkg-reconfigure tzdata >>>> >>>> Now the date command returns: Thu Feb 21 21:23:43 EST 2019 as >>>> expected. >>>> >>>> Unfortunately, (system-tzid) returns: "Etc/UTC" >>>> >>>> So, gregor's (today) still returns tomorrow (since it's so late). >>>> >>>> Anyone know how to get (system-tzid) to return the correct value on >>>> Ubuntu? >>>> >>> >>> Some more info: >>> >>> /etc/localtime is linked as: localtime -> >>> /usr/share/zoneinfo/US/Eastern >>> >> >> I reinvoked sudo dpkg-reconfigure tzdata and chose America/New_York >> instead of US/Eastern, but I still get the default "Etc/UTC" from >> (system-tzid) >> > > > Huh. Could you do the following and tell me what you get? > > > (require tzinfo/private/generics) > > (require tzinfo/private/zoneinfo) > > (define zi (make-zoneinfo-source)) > > (zoneinfo-dir zi) > "/usr/share/zoneinfo" > > (detect-system-tzid zi) > "America/New_York" >
> (require tzinfo/private/generics) > (require tzinfo/private/zoneinfo) > (define zi (make-zoneinfo-source)) > (zoneinfo-dir zi) "/usr/share/zoneinfo" > (detect-system-tzid zi) #f Also: $ ls -l /etc/localtime lrwxrwxrwx 1 root root 36 Feb 21 21:45 /etc/localtime -> /usr/share/zoneinfo/America/New_York $ cat /etc/timezone America/New_York > > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
