;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2015 Ludovic Courtès <ludo@gnu.org>
;;;
;;; This file is part of GNU Guix.
;;;
;;; GNU Guix is free software; you can redistribute it and/or modify it
;;; under the terms of the GNU General Public License as published by
;;; the Free Software Foundation; either version 3 of the License, or (at
;;; your option) any later version.
;;;
;;; GNU Guix is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;;; GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

(define-module (test-sets)
  #:use-module (guix sets)
  #:use-module (srfi srfi-1)
  #:use-module (srfi srfi-26)
  #:use-module (srfi srfi-64))


(test-begin "sets")

(test-assert "set-contains?"
  (let* ((lst (iota 123))
         (set (list->set lst)))
    (and (every (cut set-contains? set <>)
                lst)
         (not (set-contains? set -1)))))

(test-assert "set->list"
  (let* ((lst (iota 123))
         (set (list->set lst)))
    (lset= = lst (set->list set))))

(test-assert "set-union"
  (let* ((a  (list 'a))
         (b  (list 'b))
         (s1 (setq a))
         (s2 (setq b))
         (s3 (set-union s1 s2)))
    (and (set-contains? s3 a)
         (set-contains? s3 b))))

(test-end)
52f8e4856fd66b47377e214b7d20b4f61'>tree</a><a href='/guix/commit/gnu/system/examples/raspberry-pi-64-nfs-root.tmpl?id=31a55a652f8e4856fd66b47377e214b7d20b4f61'>commit</a><a href='/guix/diff/gnu/system/examples/raspberry-pi-64-nfs-root.tmpl?id=31a55a652f8e4856fd66b47377e214b7d20b4f61'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/gnu/system/examples/raspberry-pi-64-nfs-root.tmpl'>
<input type='hidden' name='id' value='31a55a652f8e4856fd66b47377e214b7d20b4f61'/><input type='hidden' name='showmsg' value='1'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=31a55a652f8e4856fd66b47377e214b7d20b4f61&amp;showmsg=1'>root</a>/<a href='/guix/log/gnu?id=31a55a652f8e4856fd66b47377e214b7d20b4f61&amp;showmsg=1'>gnu</a>/<a href='/guix/log/gnu/system?id=31a55a652f8e4856fd66b47377e214b7d20b4f61&amp;showmsg=1'>system</a>/<a href='/guix/log/gnu/system/examples?id=31a55a652f8e4856fd66b47377e214b7d20b4f61&amp;showmsg=1'>examples</a>/<a href='/guix/log/gnu/system/examples/raspberry-pi-64-nfs-root.tmpl?id=31a55a652f8e4856fd66b47377e214b7d20b4f61&amp;showmsg=1'>raspberry-pi-64-nfs-root.tmpl</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/gnu/system/examples/raspberry-pi-64-nfs-root.tmpl?id=31a55a652f8e4856fd66b47377e214b7d20b4f61'>Collapse</a>)</th><th class='left'>Author</th></tr>
<tr class='logheader'><td><span title='2024-04-18 10:43:06 -0400'>2024-04-18</span></td><td class='logsubject'><a href='/guix/commit/gnu/system/examples/raspberry-pi-64-nfs-root.tmpl?id=65e8472a4b6fc6f66871ba0dad518b7d4c63595e'>system: Remove nss-certs from OS templates, adjust doc.</a></td><td>Maxim Cournoyer</td></tr>
<tr class='nohover-highlight'><td/><td colspan='3' class='logmsg'>
This is a follow-up to commit 86afaadb51 ("system: Add 'nss-certs' to
%base-packages-networking.")

* doc/guix-cookbook.texi (Running Guix on a Linode Server): Remove nss-certs
from operating system's packages field.
(Running Guix on a Kimsufi Server): Likewise.
* doc/guix.texi (Using the Configuration System): Likewise.
(X.509 Certificates): Adjust to mention nss-certs *is* part of %base-packages.
* gnu/installer/services.scm (%system-services): Remove recommendation to
install nss-certs.
* gnu/system/examples/bare-bones.tmpl (host-name): Remove obsolete comments.
* gnu/system/examples/desktop.tmpl (packages): Remove nss-certs.
* gnu/system/examples/lightweight-desktop.tmpl (packages): Likewise.
* gnu/system/examples/plasma.tmpl (packages): Likewise.
* gnu/system/examples/raspberry-pi-64-nfs-root.tmpl (packages): Likewise.
* gnu/system/examples/raspberry-pi-64.tmpl (packages): Likewise.
* gnu/system/examples/vm-image.tmpl (packages): Likewise.
* gnu/system/images/orangepi-r1-plus-lts-rk3328.scm (packages): Likewise.
* gnu/system/images/pine64.scm (packages): Likewise.
* gnu/system/install.scm (installation-os) [packages]: Likewise.

Change-Id: If09123a69b987178bcb0aab61c4570c14fc1286f


</td></tr>
<tr class='logheader'><td><span title='2022-12-16 23:42:17 -0500'>2022-12-16</span></td><td class='logsubject'><a href='/guix/commit/gnu/system/examples/raspberry-pi-64-nfs-root.tmpl?id=491bddfa276cc9775adf325c07e5f82638f330e7'>system: examples: Add mode prop line.</a></td><td>Maxim Cournoyer</td></tr>
<tr class='nohover-highlight'><td/><td colspan='3' class='logmsg'>
* gnu/system/examples/asus-c201.tmpl: Add a mode prop line.
* gnu/system/examples/bare-bones.tmpl: Likewise.
* gnu/system/examples/beaglebone-black.tmpl: Likewise.
* gnu/system/examples/desktop.tmpl: Likewise.
* gnu/system/examples/docker-image.tmpl: Likewise.
* gnu/system/examples/lightweight-desktop.tmpl: Likewise.
* gnu/system/examples/raspberry-pi-64-nfs-root.tmpl: Likewise.
* gnu/system/examples/raspberry-pi-64.tmpl: Likewise.
* gnu/system/examples/vm-image.tmpl: Likewise.


</td></tr>
<tr class='logheader'><td><span title='2022-12-04 00:37:11 -0500'>2022-12-04</span></td><td class='logsubject'><a href='/guix/commit/gnu/system/examples/raspberry-pi-64-nfs-root.tmpl?id=08dc9f2ca2e96476aa51c906c8ba01ca5d033568'>gnu: Do not use 'local-file' in Raspberry Pi OS examples.</a></td><td>Maxim Cournoyer</td></tr>
<tr class='nohover-highlight'><td/><td colspan='3' class='logmsg'>
As this breaks the 'tests/guix-system.sh' test.

* gnu/system/examples/raspberry-pi-64-nfs-root.tmpl (%my-public-key): Delete
variable.
(raspberry-pi-64-nfs-root) [services]: Remove key from openssh-configuration.
* gnu/system/examples/raspberry-pi-64.tmpl: Likewise.

Reported-by: Vagrant Cascadian &lt;vagrant@debian.org&gt;


</td></tr>
<tr class='logheader'><td><span title='2022-12-01 14:31:29 -0500'>2022-12-01</span></td><td class='logsubject'><a href='/guix/commit/gnu/system/examples/raspberry-pi-64-nfs-root.tmpl?id=c7793b82efd3383a9f7adf0dfa82d71ee032e41b'>gnu: raspberry-pi: Add a bootloader-chain for the Raspberry Pi and os examples.</a></td><td>Stefan</td></tr>
<tr class='nohover-highlight'><td/><td colspan='3' class='logmsg'>
* gnu/packages/raspberry-pi.scm (grub-efi-bootloader-chain-raspi-64): New
bootloader variable, capable to boot a Raspberry Pi over network or from a
local storage.
* gnu/system/examples/raspberry-pi-64.tmpl: New operating-system example.
* gnu/system/examples/raspberry-pi-64-nfs-root.tmpl: New operating-system
example for booting over network.
* Makefile.am (EXAMPLES): Register the new files.

Signed-off-by: Maxim Cournoyer &lt;maxim.cournoyer@gmail.com&gt;


</td></tr>