2014-05-20 21:59:08 +02:00
|
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
2015-04-20 22:21:51 +02:00
|
|
|
|
;;; Copyright © 2013, 2014, 2015 Ludovic Courtès <ludo@gnu.org>
|
2014-05-20 21:59:08 +02:00
|
|
|
|
;;;
|
|
|
|
|
;;; 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 (gnu system file-systems)
|
2014-09-18 19:18:39 +02:00
|
|
|
|
#:use-module (guix gexp)
|
2014-05-20 21:59:08 +02:00
|
|
|
|
#:use-module (guix records)
|
2015-04-20 22:21:51 +02:00
|
|
|
|
#:use-module (guix store)
|
2014-05-20 21:59:08 +02:00
|
|
|
|
#:export (<file-system>
|
|
|
|
|
file-system
|
|
|
|
|
file-system?
|
|
|
|
|
file-system-device
|
2014-06-02 23:58:50 +02:00
|
|
|
|
file-system-title
|
2014-05-20 21:59:08 +02:00
|
|
|
|
file-system-mount-point
|
|
|
|
|
file-system-type
|
|
|
|
|
file-system-needed-for-boot?
|
|
|
|
|
file-system-flags
|
|
|
|
|
file-system-options
|
2014-07-22 22:53:36 +02:00
|
|
|
|
file-system-check?
|
|
|
|
|
file-system-create-mount-point?
|
2014-05-20 21:59:08 +02:00
|
|
|
|
|
|
|
|
|
%fuse-control-file-system
|
2014-07-22 16:57:57 +02:00
|
|
|
|
%binary-format-file-system
|
2014-07-23 08:13:34 +02:00
|
|
|
|
%shared-memory-file-system
|
|
|
|
|
%pseudo-terminal-file-system
|
2014-07-22 16:57:57 +02:00
|
|
|
|
%devtmpfs-file-system
|
2015-04-20 22:21:51 +02:00
|
|
|
|
%immutable-store
|
2015-06-19 02:40:57 +02:00
|
|
|
|
%control-groups
|
2014-07-22 16:57:57 +02:00
|
|
|
|
|
2014-09-11 23:39:15 +02:00
|
|
|
|
%base-file-systems
|
|
|
|
|
|
|
|
|
|
mapped-device
|
|
|
|
|
mapped-device?
|
|
|
|
|
mapped-device-source
|
|
|
|
|
mapped-device-target
|
2014-09-18 19:18:39 +02:00
|
|
|
|
mapped-device-type
|
|
|
|
|
|
|
|
|
|
mapped-device-kind
|
|
|
|
|
mapped-device-kind?
|
|
|
|
|
mapped-device-kind-open
|
|
|
|
|
mapped-device-kind-close))
|
2014-05-20 21:59:08 +02:00
|
|
|
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
|
;;;
|
|
|
|
|
;;; Declaring file systems to be mounted.
|
|
|
|
|
;;;
|
|
|
|
|
;;; Code:
|
|
|
|
|
|
|
|
|
|
;; File system declaration.
|
|
|
|
|
(define-record-type* <file-system> file-system
|
|
|
|
|
make-file-system
|
|
|
|
|
file-system?
|
|
|
|
|
(device file-system-device) ; string
|
2014-06-02 23:58:50 +02:00
|
|
|
|
(title file-system-title ; 'device | 'label | 'uuid
|
|
|
|
|
(default 'device))
|
2014-05-20 21:59:08 +02:00
|
|
|
|
(mount-point file-system-mount-point) ; string
|
|
|
|
|
(type file-system-type) ; string
|
|
|
|
|
(flags file-system-flags ; list of symbols
|
|
|
|
|
(default '()))
|
|
|
|
|
(options file-system-options ; string or #f
|
|
|
|
|
(default #f))
|
2014-11-25 16:01:21 +01:00
|
|
|
|
(needed-for-boot? %file-system-needed-for-boot? ; Boolean
|
2014-05-20 21:59:08 +02:00
|
|
|
|
(default #f))
|
|
|
|
|
(check? file-system-check? ; Boolean
|
2014-07-22 22:53:36 +02:00
|
|
|
|
(default #t))
|
|
|
|
|
(create-mount-point? file-system-create-mount-point? ; Boolean
|
|
|
|
|
(default #f)))
|
2014-05-20 21:59:08 +02:00
|
|
|
|
|
2014-11-25 16:01:21 +01:00
|
|
|
|
(define-inlinable (file-system-needed-for-boot? fs)
|
|
|
|
|
"Return true if FS has the 'needed-for-boot?' flag set, or if it's the root
|
|
|
|
|
file system."
|
|
|
|
|
(or (%file-system-needed-for-boot? fs)
|
|
|
|
|
(string=? "/" (file-system-mount-point fs))))
|
|
|
|
|
|
2014-05-20 21:59:08 +02:00
|
|
|
|
(define %fuse-control-file-system
|
|
|
|
|
;; Control file system for Linux' file systems in user-space (FUSE).
|
|
|
|
|
(file-system
|
|
|
|
|
(device "fusectl")
|
|
|
|
|
(mount-point "/sys/fs/fuse/connections")
|
|
|
|
|
(type "fusectl")
|
|
|
|
|
(check? #f)))
|
|
|
|
|
|
|
|
|
|
(define %binary-format-file-system
|
|
|
|
|
;; Support for arbitrary executable binary format.
|
|
|
|
|
(file-system
|
|
|
|
|
(device "binfmt_misc")
|
|
|
|
|
(mount-point "/proc/sys/fs/binfmt_misc")
|
|
|
|
|
(type "binfmt_misc")
|
|
|
|
|
(check? #f)))
|
|
|
|
|
|
2014-07-22 16:57:57 +02:00
|
|
|
|
(define %devtmpfs-file-system
|
|
|
|
|
;; /dev as a 'devtmpfs' file system, needed for udev.
|
|
|
|
|
(file-system
|
|
|
|
|
(device "none")
|
|
|
|
|
(mount-point "/dev")
|
|
|
|
|
(type "devtmpfs")
|
2014-07-22 23:13:53 +02:00
|
|
|
|
(check? #f)
|
|
|
|
|
|
|
|
|
|
;; Mount it from the initrd so /dev/pts & co. can then be mounted over it.
|
|
|
|
|
(needed-for-boot? #t)))
|
|
|
|
|
|
|
|
|
|
(define %tty-gid
|
|
|
|
|
;; ID of the 'tty' group. Allocate it statically to make it easy to refer
|
|
|
|
|
;; to it from here and from the 'tty' group definitions.
|
2014-07-25 00:12:35 +02:00
|
|
|
|
996)
|
2014-07-22 23:13:53 +02:00
|
|
|
|
|
|
|
|
|
(define %pseudo-terminal-file-system
|
|
|
|
|
;; The pseudo-terminal file system. It needs to be mounted so that
|
|
|
|
|
;; statfs(2) returns DEVPTS_SUPER_MAGIC like libc's getpt(3) expects (and
|
|
|
|
|
;; thus openpty(3) and its users, such as xterm.)
|
|
|
|
|
(file-system
|
|
|
|
|
(device "none")
|
|
|
|
|
(mount-point "/dev/pts")
|
|
|
|
|
(type "devpts")
|
|
|
|
|
(check? #f)
|
|
|
|
|
(needed-for-boot? #f)
|
|
|
|
|
(create-mount-point? #t)
|
|
|
|
|
(options (string-append "gid=" (number->string %tty-gid) ",mode=620"))))
|
2014-07-22 16:57:57 +02:00
|
|
|
|
|
2014-07-23 01:25:01 +02:00
|
|
|
|
(define %shared-memory-file-system
|
|
|
|
|
;; Shared memory.
|
|
|
|
|
(file-system
|
|
|
|
|
(device "tmpfs")
|
|
|
|
|
(mount-point "/dev/shm")
|
|
|
|
|
(type "tmpfs")
|
|
|
|
|
(check? #f)
|
|
|
|
|
(flags '(no-suid no-dev))
|
|
|
|
|
(options "size=50%") ;TODO: make size configurable
|
|
|
|
|
(create-mount-point? #t)))
|
|
|
|
|
|
2015-04-20 22:21:51 +02:00
|
|
|
|
(define %immutable-store
|
|
|
|
|
;; Read-only store to avoid users or daemons accidentally modifying it.
|
|
|
|
|
;; 'guix-daemon' has provisions to remount it read-write in its own name
|
|
|
|
|
;; space.
|
|
|
|
|
(file-system
|
|
|
|
|
(device (%store-prefix))
|
|
|
|
|
(mount-point (%store-prefix))
|
|
|
|
|
(type "none")
|
|
|
|
|
(check? #f)
|
|
|
|
|
(flags '(read-only bind-mount))))
|
|
|
|
|
|
2015-06-19 02:40:57 +02:00
|
|
|
|
(define %control-groups
|
|
|
|
|
(cons (file-system
|
|
|
|
|
(device "cgroup")
|
|
|
|
|
(mount-point "/sys/fs/cgroup")
|
|
|
|
|
(type "tmpfs")
|
|
|
|
|
(check? #f))
|
|
|
|
|
(map (lambda (subsystem)
|
|
|
|
|
(file-system
|
|
|
|
|
(device "cgroup")
|
|
|
|
|
(mount-point (string-append "/sys/fs/cgroup/" subsystem))
|
|
|
|
|
(type "cgroup")
|
|
|
|
|
(check? #f)
|
|
|
|
|
(options subsystem)
|
|
|
|
|
(create-mount-point? #t)))
|
|
|
|
|
'("cpuset" "cpu" "cpuacct" "memory" "devices" "freezer"
|
|
|
|
|
"blkio" "perf_event" "hugetlb"))))
|
|
|
|
|
|
2014-07-22 16:57:57 +02:00
|
|
|
|
(define %base-file-systems
|
|
|
|
|
;; List of basic file systems to be mounted. Note that /proc and /sys are
|
|
|
|
|
;; currently mounted by the initrd.
|
2015-06-19 02:40:57 +02:00
|
|
|
|
(append (list %devtmpfs-file-system
|
|
|
|
|
%pseudo-terminal-file-system
|
|
|
|
|
%shared-memory-file-system
|
|
|
|
|
%immutable-store)
|
|
|
|
|
%control-groups))
|
2014-07-22 16:57:57 +02:00
|
|
|
|
|
2014-09-11 23:39:15 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
;;;
|
|
|
|
|
;;; Mapped devices, for Linux's device-mapper.
|
|
|
|
|
;;;
|
|
|
|
|
|
|
|
|
|
(define-record-type* <mapped-device> mapped-device
|
|
|
|
|
make-mapped-device
|
|
|
|
|
mapped-device?
|
|
|
|
|
(source mapped-device-source) ;string
|
|
|
|
|
(target mapped-device-target) ;string
|
2014-11-30 17:50:07 +01:00
|
|
|
|
(type mapped-device-type)) ;<mapped-device-kind>
|
2014-09-18 19:18:39 +02:00
|
|
|
|
|
|
|
|
|
(define-record-type* <mapped-device-type> mapped-device-kind
|
|
|
|
|
make-mapped-device-kind
|
|
|
|
|
mapped-device-kind?
|
|
|
|
|
(open mapped-device-kind-open) ;source target -> gexp
|
|
|
|
|
(close mapped-device-kind-close ;source target -> gexp
|
|
|
|
|
(default (const #~(const #f)))))
|
2014-09-11 23:39:15 +02:00
|
|
|
|
|
2014-05-20 21:59:08 +02:00
|
|
|
|
;;; file-systems.scm ends here
|