;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2016, 2018, 2022 Ludovic Courtès <ludo@gnu.org>
;;; Copyright © 2017 Tobias Geerinckx-Rice <me@tobias.gr>
;;;
;;; 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-system)
  #:use-module (gnu)
  #:use-module ((gnu services) #:select (service-value))
  #:use-module (guix store)
  #:use-module (guix monads)
  #:use-mod</td></tr></table>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=5d26e2ee2bc5f881992c3c1431926056b28a606f'>refs</a><a href='/guix/log/po/packages/sk.po'>log</a><a class='active' href='/guix/tree/po/packages/sk.po?id=5d26e2ee2bc5f881992c3c1431926056b28a606f'>tree</a><a href='/guix/commit/po/packages/sk.po?id=5d26e2ee2bc5f881992c3c1431926056b28a606f'>commit</a><a href='/guix/diff/po/packages/sk.po?id=5d26e2ee2bc5f881992c3c1431926056b28a606f'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/po/packages/sk.po'>
<input type='hidden' name='id' value='5d26e2ee2bc5f881992c3c1431926056b28a606f'/><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/tree/?id=5d26e2ee2bc5f881992c3c1431926056b28a606f'>root</a>/<a href='/guix/tree/po?id=5d26e2ee2bc5f881992c3c1431926056b28a606f'>po</a>/<a href='/guix/tree/po/packages?id=5d26e2ee2bc5f881992c3c1431926056b28a606f'>packages</a>/<a href='/guix/tree/po/packages/sk.po?id=5d26e2ee2bc5f881992c3c1431926056b28a606f'>sk.po</a></div><div class='content'>blob: 3508499cd317b814ecc8e73ba226a7a2216ed3da (<a href='/guix/about/po/packages/sk.po?id=5d26e2ee2bc5f881992c3c1431926056b28a606f'>about</a>) (<a href='/guix/plain/po/packages/sk.po?id=5d26e2ee2bc5f881992c3c1431926056b28a606f'>plain</a>)
<div class='error'>blob size (805KB) exceeds display size limit (100KB).</div></div> <!-- class=content -->
                         <div class=footer>generated by
                             <a href="https://git.zx2c4.com/cgit/about/">
                                 cgit
                             </a>
                         </div>
                        </div> <!-- id=cgit -->
</body>
</html>
ystem, store"
  (let* ((gnu (file-system
                (device "foobar")
                (mount-point (%store-prefix))
                (type "ext5")))
         (os  (operating-system
                (inherit %os)
                (file-systems (cons* gnu %root-fs
                                     %base-file-systems)))))
    (eq? gnu (operating-system-store-file-system os))))

(test-equal "operating-system-user-mapped-devices"
  '()
  (operating-system-user-mapped-devices %os-with-mapped-device))

(test-equal "operating-system-boot-mapped-devices"
  (list %luks-device)
  (operating-system-boot-mapped-devices %os-with-mapped-device))

(test-equal "operating-system-boot-mapped-devices, implicit dependency"
  (list %luks-device)

  ;; Here we expect the implicit dependency between "/" and
  ;; "/dev/mapper/my-luks-device" to be found, in spite of the lack of a
  ;; 'dependencies' field in the root file system.
  (operating-system-boot-mapped-devices
   (operating-system
     (inherit %os-with-mapped-device)
     (file-systems (cons (file-system
                           (device "/dev/mapper/my-luks-device")
                           (mount-point "/")
                           (type "ext4"))
                         %base-file-systems)))))

(test-equal "non-boot-file-system-service"
  '()

  ;; Make sure that mapped devices with at least one needed-for-boot user are
  ;; handled exclusively from the initrd.  See <https://bugs.gnu.org/31889>.
  (append-map file-system-dependencies
              (service-value
               ((@@ (gnu system) non-boot-file-system-service)
                (operating-system
                  (inherit %os-with-mapped-device)
                  (file-systems
                   (list (file-system
                           (mount-point "/foo/bar")
                           (device "qux:baz")
                           (type "none")
                           (dependencies (list %luks-device)))
                         (file-system
                           (device (file-system-label "my-root"))
                           (mount-point "/")
                           (type "ext4")
                           (dependencies (list %luks-device))))))))))

(test-assert "lower-object, %current-system sensitivity"
  ;; Make sure that 'lower-object' returns the same derivation, no matter what
  ;; '%current-system' is.  See <https://issues.guix.gnu.org/55951>.
  (let ((drv1 (with-store store
                (parameterize ((%current-system "x86_64-linux"))
                  (run-with-store store
                    (lower-object %os "aarch64-linux")))))
        (drv2 (with-store store
                (parameterize ((%current-system "aarch64-linux"))
                  (run-with-store store
                    (lower-object %os "aarch64-linux"))))))
    (eq? drv1 drv2)))

(test-end)