# System wide shell profile.

# Set timezone.
. /etc/timeinfo
