diff options
Diffstat (limited to 'gnu/system')
| -rw-r--r-- | gnu/system/examples/bare-bones.tmpl | 10 | ||||
| -rw-r--r-- | gnu/system/examples/beaglebone-black.tmpl | 24 | ||||
| -rw-r--r-- | gnu/system/examples/desktop.tmpl | 15 | ||||
| -rw-r--r-- | gnu/system/examples/lightweight-desktop.tmpl | 16 | ||||
| -rw-r--r-- | gnu/system/examples/vm-image.tmpl | 12 |
5 files changed, 43 insertions, 34 deletions
diff --git a/gnu/system/examples/bare-bones.tmpl b/gnu/system/examples/bare-bones.tmpl index 902dacbe57..a88bab034f 100644 --- a/gnu/system/examples/bare-bones.tmpl +++ b/gnu/system/examples/bare-bones.tmpl @@ -44,8 +44,8 @@ ;; Add services to the baseline: a DHCP client and ;; an SSH server. - (services (cons* (service dhcp-client-service-type) - (service openssh-service-type - (openssh-configuration - (port-number 2222))) - %base-services))) + (services (append (list (service dhcp-client-service-type) + (service openssh-service-type + (openssh-configuration + (port-number 2222)))) + %base-services))) diff --git a/gnu/system/examples/beaglebone-black.tmpl b/gnu/system/examples/beaglebone-black.tmpl index efef682e3a..11678063b2 100644 --- a/gnu/system/examples/beaglebone-black.tmpl +++ b/gnu/system/examples/beaglebone-black.tmpl @@ -43,15 +43,15 @@ %base-user-accounts)) ;; Globally-installed packages. - (packages (cons* screen openssh %base-packages)) - - (services (cons* (service dhcp-client-service-type) - ;; mingetty does not work on serial lines. - ;; Use agetty with board-specific serial parameters. - (agetty-service - (agetty-configuration - (extra-options '("-L")) - (baud-rate "115200") - (term "vt100") - (tty "ttyO0"))) - %base-services))) + (packages (append (list screen openssh) %base-packages)) + + (services (append (list (service dhcp-client-service-type) + ;; mingetty does not work on serial lines. + ;; Use agetty with board-specific serial parameters. + (agetty-service + (agetty-configuration + (extra-options '("-L")) + (baud-rate "115200") + (term "vt100") + (tty "ttyO0")))) + %base-services))) diff --git a/gnu/system/examples/desktop.tmpl b/gnu/system/examples/desktop.tmpl index e20b472363..c59bf92681 100644 --- a/gnu/system/examples/desktop.tmpl +++ b/gnu/system/examples/desktop.tmpl @@ -47,17 +47,20 @@ %base-user-accounts)) ;; This is where we specify system-wide packages. - (packages (cons* nss-certs ;for HTTPS access - gvfs ;for user mounts - %base-packages)) + (packages (append (list + ;; for HTTPS access + nss-certs + ;; for user mounts + gvfs) + %base-packages)) ;; Add GNOME and/or Xfce---we can choose at the log-in ;; screen with F1. Use the "desktop" services, which ;; include the X11 log-in service, networking with ;; NetworkManager, and more. - (services (cons* (gnome-desktop-service) - (xfce-desktop-service) - %desktop-services)) + (services (append (list (gnome-desktop-service) + (xfce-desktop-service)) + %desktop-services)) ;; Allow resolution of '.local' host names with mDNS. (name-service-switch %mdns-host-lookup-nss)) diff --git a/gnu/system/examples/lightweight-desktop.tmpl b/gnu/system/examples/lightweight-desktop.tmpl index 360ee62ffe..a234badd2b 100644 --- a/gnu/system/examples/lightweight-desktop.tmpl +++ b/gnu/system/examples/lightweight-desktop.tmpl @@ -19,15 +19,16 @@ ;; Assume the target root file system is labelled "my-root", ;; and the EFI System Partition has UUID 1234-ABCD. - (file-systems (cons* (file-system + (file-systems (append + (list (file-system (device (file-system-label "my-root")) (mount-point "/") (type "ext4")) (file-system (device (uuid "1234-ABCD" 'fat)) (mount-point "/boot/efi") - (type "vfat")) - %base-file-systems)) + (type "vfat"))) + %base-file-systems)) (users (cons (user-account (name "alice") @@ -40,9 +41,12 @@ ;; Add a bunch of window managers; we can choose one at ;; the log-in screen with F1. - (packages (cons* ratpoison i3-wm i3status dmenu ;window managers - nss-certs ;for HTTPS access - %base-packages)) + (packages (append (list + ;; window managers + ratpoison i3-wm i3status dmenu + ;; for HTTPS access + nss-certs) + %base-packages)) ;; Use the "desktop" services, which include the X11 ;; log-in service, networking with NetworkManager, and more. diff --git a/gnu/system/examples/vm-image.tmpl b/gnu/system/examples/vm-image.tmpl index f149f67113..4d292c1bc6 100644 --- a/gnu/system/examples/vm-image.tmpl +++ b/gnu/system/examples/vm-image.tmpl @@ -24,7 +24,7 @@ partprobe, and then 2) resizing the filesystem with resize2fs.\n")) (timezone "Etc/UTC") (locale "en_US.utf8") -(firmware '()) + (firmware '()) ;; Assuming /dev/sdX is the target hard disk, and "my-root" is ;; the label of the target root file system. @@ -44,10 +44,12 @@ partprobe, and then 2) resizing the filesystem with resize2fs.\n")) (users %base-user-accounts) ;; Globally-installed packages. - (packages (cons* nvi fdisk - grub ; mostly so xrefs to its manual work - parted ; partprobe - %base-packages)) + (packages (append (list nvi fdisk + ;; mostly so xrefs to its manual work + grub + ;; partprobe + parted) + %base-packages)) (services (modify-services %base-services (login-service-type config => |