Script to print out a PHP-config-file style timezone string for /etc/localtime.
Script to print out a PHP-config-file style timezone string for /etc/localtime.

Newer PHP complains if you don't explicitly set your timezone, so this script
allows us to determine it in a scriptable way as part of {boss,ops}_install.

You would think this info would be readily available, but I couldn't find an
easy way!

nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome,nmc-probe/emulab-nome