gnu: Add 'inputs' field to <user-account>; make 'shell' a monadic value.

* gnu/system/shadow.scm (<user-account>)[inputs]: New field.
  (passwd-file): Bind the 'shell' field of each account.
* gnu/system/vm.scm (%demo-operating-system): Remove 'shell' field.
* gnu/system/dmd.scm (guix-build-accounts): Store a monadic value in
  'shell'.  Add 'inputs' field.
* gnu/system.scm (operating-system-derivation): Remove 'shell' field for
  'root' account.  Add all the 'user-account-inputs' to EXTRAS.

3 files changed, 33 insertions, 28 deletions

diff --git a/gnu/system/dmd.scm b/gnu/system/dmd.scm
index 307412a5d5..7cd5f05f78 100644
--- a/gnu/system/dmd.scm
+++ b/gnu/system/dmd.scm
@@ -181,18 +181,18 @@
                               (shadow shadow))
   "Return a list of COUNT user accounts for Guix build users, with UIDs
 starting at FIRST-UID, and under GID."
-  (mlet* %store-monad ((gid* -> gid)
-                       (no-login (package-file shadow "sbin/nologin")))
+  (with-monad %store-monad
     (return (unfold (cut > <> count)
                     (lambda (n)
                       (user-account
                        (name (format #f "guixbuilder~2,'0d" n))
                        (password "!")
                        (uid (+ first-uid n -1))
-                       (gid gid*)
+                       (gid gid)
                        (comment (format #f "Guix Build User ~2d" n))
                        (home-directory "/var/empty")
-                       (shell no-login)))
+                       (shell (package-file shadow "sbin/nologin"))
+                       (inputs `(("shadow" ,shadow)))))
                     1+
                     1))))
 
diff --git a/gnu/system/shadow.scm b/gnu/system/shadow.scm
index 2cc0b89162..ca24c3df2b 100644
--- a/gnu/system/shadow.scm
+++ b/gnu/system/shadow.scm
@@ -23,6 +23,7 @@
   #:use-module (guix monads)
   #:use-module ((gnu packages system)
                 #:select (shadow))
+  #:use-module (gnu packages bash)
   #:use-module (srfi srfi-1)
   #:use-module (ice-9 match)
   #:export (user-account
@@ -34,6 +35,7 @@
             user-account-comment
             user-account-home-directory
             user-account-shell
+            user-account-inputs
 
             user-group
             user-group?
@@ -61,7 +63,9 @@
   (gid            user-account-gid)
   (comment        user-account-comment (default ""))
   (home-directory user-account-home-directory)
-  (shell          user-account-shell (default "/bin/sh")))
+  (shell          user-account-shell              ; monadic value
+                  (default (package-file bash "bin/bash")))
+  (inputs         user-account-inputs (default `(("bash" ,bash)))))
 
 (define-record-type* <user-group>
   user-group make-user-group
@@ -93,26 +97,29 @@
 SHADOW? is true, then it is a /etc/shadow file, otherwise it is a /etc/passwd
 file."
   ;; XXX: The resulting file is world-readable, so beware when SHADOW? is #t!
-  (define contents
-    (let loop ((accounts accounts)
-               (result   '()))
-      (match accounts
-        ((($ <user-account> name pass uid gid comment home-dir shell)
-          rest ...)
-         (loop rest
-               (cons (if shadow?
-                         (string-append name
-                                        ":"       ; XXX: use (crypt PASS …)?
-                                        ":::::::")
-                         (string-append name
-                                        ":" "x"
-                                        ":" (number->string uid)
-                                        ":" (number->string gid)
-                                        ":" comment ":" home-dir ":" shell))
-                     result)))
-        (()
-         (string-join (reverse result) "\n" 'suffix)))))
+  (define (contents)
+    (with-monad %store-monad
+      (let loop ((accounts accounts)
+                 (result   '()))
+        (match accounts
+          ((($ <user-account> name pass uid gid comment home-dir mshell)
+            rest ...)
+           (mlet %store-monad ((shell mshell))
+             (loop rest
+                   (cons (if shadow?
+                             (string-append name
+                                            ":"    ; XXX: use (crypt PASS …)?
+                                            ":::::::")
+                             (string-append name
+                                            ":" "x"
+                                            ":" (number->string uid)
+                                            ":" (number->string gid)
+                                            ":" comment ":" home-dir ":" shell))
+                         result))))
+          (()
+           (return (string-join (reverse result) "\n" 'suffix)))))))
 
-  (text-file (if shadow? "shadow" "passwd") contents))
+  (mlet %store-monad ((contents (contents)))
+    (text-file (if shadow? "shadow" "passwd") contents)))
 
 ;;; shadow.scm ends here
diff --git a/gnu/system/vm.scm b/gnu/system/vm.scm
index 3717e2ac23..8a490fbd6c 100644
--- a/gnu/system/vm.scm
+++ b/gnu/system/vm.scm
@@ -415,9 +415,7 @@ such as /etc files."
                  (password "")
                  (uid 1000) (gid 100)
                  (comment "Guest of GNU")
-                 (home-directory "/home/guest")
-                 ;; (shell bash-file)
-                 )))
+                 (home-directory "/home/guest"))))
    (packages `(("coreutils" ,coreutils)
                ("bash" ,bash)
                ("guile" ,guile-2.0)