system: Add 'sudo' to the setuid programs, and handle /etc/sudoers.
[jackhill/guix/guix.git] / build-aux / hydra / demo-os.scm
1 ;;; GNU Guix --- Functional package management for GNU
2 ;;; Copyright © 2014 Ludovic Courtès <ludo@gnu.org>
3 ;;;
4 ;;; This file is part of GNU Guix.
5 ;;;
6 ;;; GNU Guix is free software; you can redistribute it and/or modify it
7 ;;; under the terms of the GNU General Public License as published by
8 ;;; the Free Software Foundation; either version 3 of the License, or (at
9 ;;; your option) any later version.
10 ;;;
11 ;;; GNU Guix is distributed in the hope that it will be useful, but
12 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
13 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 ;;; GNU General Public License for more details.
15 ;;;
16 ;;; You should have received a copy of the GNU General Public License
17 ;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
18
19
20 ;;;
21 ;;; This file defines an operating system configuration for the demo virtual
22 ;;; machine images that we build.
23 ;;;
24
25 (use-modules (gnu packages zile)
26 (gnu packages xorg)
27 (gnu packages base)
28 (gnu packages admin)
29 (gnu packages guile)
30 (gnu packages bash)
31 (gnu packages linux)
32 (gnu packages less)
33 (gnu packages tor)
34 (gnu packages package-management)
35
36 (gnu system shadow) ; 'user-account'
37 (gnu system linux) ; 'base-pam-services'
38 (gnu services base)
39 (gnu services networking)
40 (gnu services xorg))
41
42 (operating-system
43 (host-name "gnu")
44 (timezone "Europe/Paris")
45 (locale "en_US.UTF-8")
46 (users (list (user-account
47 (name "guest")
48 (uid 1000) (gid 100)
49 (comment "Guest of GNU")
50 (home-directory "/home/guest"))))
51 (groups (list (user-group (name "root") (id 0))
52 (user-group
53 (name "wheel")
54 (id 1)
55 (members '("guest"))) ; allow 'guest' to use sudo
56 (user-group
57 (name "users")
58 (id 100)
59 (members '("guest")))))
60 (services (cons* (slim-service #:auto-login? #t
61 #:default-user "guest")
62
63 ;; QEMU networking settings.
64 (static-networking-service "eth0" "10.0.2.10"
65 #:name-servers '("10.0.2.3")
66 #:gateway "10.0.2.2")
67
68 %base-services))
69 (pam-services
70 ;; Explicitly allow for empty passwords.
71 (base-pam-services #:allow-empty-passwords? #t))
72 (packages (list bash coreutils findutils grep sed
73 procps psmisc less
74 guile-2.0 dmd guix util-linux inetutils
75 xterm zile)))