aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gnu/system/examples/bare-bones.tmpl10
-rw-r--r--gnu/system/examples/beaglebone-black.tmpl24
-rw-r--r--gnu/system/examples/desktop.tmpl15
-rw-r--r--gnu/system/examples/lightweight-desktop.tmpl16
-rw-r--r--gnu/system/examples/vm-image.tmpl12
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 =>