gnu: system: Build /etc/localtime.
authorLudovic Courtès <ludo@gnu.org>
Wed, 5 Feb 2014 21:22:51 +0000 (22:22 +0100)
committerLudovic Courtès <ludo@gnu.org>
Wed, 5 Feb 2014 21:22:51 +0000 (22:22 +0100)
commit7aec36830faf5de613ca2ae64b1845545ad12da9
tree696a59e7d62e0ced741e39a4c8a607c64c8a0c36
parent16686a902276c827455d78860dd62aaa68922cd2
gnu: system: Build /etc/localtime.

* gnu/system.scm (etc-directory)[bashrc]: Use 'text-file*' instead of
  'text-file'.  Adjust users accordingly.
  [files]: Add the /etc/localtime file for TIMEZONE.
  Add TZDATA to the 'file-union' inputs.
  (operating-system-derivation): Pass 'etc-directory' PROFILE-DRV
  instead of PROFILE.
gnu/system.scm