summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2018-05-18 10:11:17 +0200
committerLudovic Courtès <ludo@gnu.org>2018-05-19 00:14:52 +0200
commita48d34504181e2f14cef3a5514d2319e60453a79 (patch)
tree1b6bca3775aec90af3c48708d1aee47a1acb466f /gnu
parentce9e684b8395fdd0c8217a2e4a1d2776f8ff5ea4 (diff)
file-systems: Do not export <file-system>.
* gnu/system/file-systems.scm (<file-system>): Do not export. * gnu/system.scm (operating-system-root-file-system): Use an accessor instead of 'match'.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/system.scm5
-rw-r--r--gnu/system/file-systems.scm3
2 files changed, 3 insertions, 5 deletions
diff --git a/gnu/system.scm b/gnu/system.scm
index 1cf00aafcd..1052e9355d 100644
--- a/gnu/system.scm
+++ b/gnu/system.scm
@@ -842,9 +842,8 @@ hardware-related operations as necessary when booting a Linux container."
(define (operating-system-root-file-system os)
"Return the root file system of OS."
- (find (match-lambda
- (($ <file-system> device title "/") #t)
- (x #f))
+ (find (lambda (fs)
+ (string=? "/" (file-system-mount-point fs)))
(operating-system-file-systems os)))
(define (operating-system-initrd-file os)
diff --git a/gnu/system/file-systems.scm b/gnu/system/file-systems.scm
index d2acd705de..93289dbd5d 100644
--- a/gnu/system/file-systems.scm
+++ b/gnu/system/file-systems.scm
@@ -25,8 +25,7 @@
#:re-export (uuid ;backward compatibility
string->uuid
uuid->string)
- #:export (<file-system>
- file-system
+ #:export (file-system
file-system?
file-system-device
file-system-title