Comment 17 for bug 1158834

Mike, Assaf:

Thanks for your instructions. Here are my (mostly minor) corrections/suggestions:

1. The workaround you suggested patches the zone files but the verification is slightly wrong - by running the command
zdump -v Asia/Jerusalem
you verify the the zone file is correct but _not_ that the zone file is actually effective (i.e. copied or linked to /etc/localtime).

2. I think that dpkg-reconfigure tzdata does more than just copying the zone file to /etc/localtime so I suggest running it rather than copying or linking.

3. Hard linking /etc/localtime is probably wrong, it may cause the "source" zone file to be overwritten.

Here's my suggested workaround, it should be slightly more reliable:
#Check if the settings are right:
zdump -v /etc/localtime | grep 2013

#If wrong:
mkdir $HOME/dstfix2013
cd $HOME/dstfix2013
wget -N ftp://ftp.iana.org/tz/data/asia
sudo zic asia
sudo ln -sf /usr/share/zoneinfo/Asia/Jerusalem /usr/share/zoneinfo/Asia/Tel_Aviv

# reconfigure the system to use the new zone files
sudo dpkg-reconfigure tzdata

# Check again
zdump -v /etc/localtime | grep 2013