system: Populate /etc/shells with the list of all the shells in use.
authorLudovic Courtès <ludo@gnu.org>
Fri, 17 Apr 2015 11:43:43 +0000 (13:43 +0200)
committerLudovic Courtès <ludo@gnu.org>
Fri, 17 Apr 2015 11:53:16 +0000 (13:53 +0200)
commit8e974b9b98d15b41073b9061d40949517bbf35be
tree53dc8fa54eae7ddf328922a403ee19d3fe6388b0
parent3c9e35cce748355a3955a3fdf15010c7868bfab8
system: Populate /etc/shells with the list of all the shells in use.

Reported by Andy Wingo <wingo@pobox.com>.

* gnu/system.scm (user-shells, shells-file): New procedures.
  (etc-directory): Add #:shell parameter.  Use 'shells-file' instead of
  'text-file'.
  (operating-system-etc-directory): Call 'user-shells' and pass #:shells
  to 'etc-directory'.
gnu/system.scm