[9fans] jet-lagged fossil

[Christian Grothaus <christian.grothaus@gmail.com>]

Dear 9fans,

two days ago, I installed Plan 9 on a laptop, choosing fossil
as the file system (I plan to use it without Venti).
After setting up, I made an archival and an "ordinary" snapshot,
set snaptime and verified that automatic snapshots are taken.

Then, as an inhabitant of middle Europe, I wanted to set the
timezone appropriately.
Copying /adm/timezone/CET to /adm/timezone/local doesn't work:
The first line in /adm/timezone/CET is "CET 3600 CEST 7200".
But during daylight saving time, the timezone is not set to
GMT + 7200 but to GMT + 0. I think the problem is the four letter
string "CEST". If it is replaced by, say, "CDT", then the
timezone is being set correctly.
(Actually, to set the timezone, I always use a file "MET", which
also was part of earlier distributions, and which is identical
to CET except that the first line is "MET 3600 MDT 7200".
Why was this file dropped from the distribution?)

The problem is now, that after changing the timezone in that way,
fossil no longer takes snapshots automatically.

If I change the timezone back to US_Eastern, then it works again.
Is there something wrong with my timezone setting? Or is there
a way to "reset" fossil?

Thanks,

Christian