2014-04-14 15:26:48 +01:00
|
|
|
|
{ config, lib, pkgs, utils, ... }:
|
2009-10-12 17:36:19 +01:00
|
|
|
|
|
2014-04-14 15:26:48 +01:00
|
|
|
|
with lib;
|
2012-10-12 22:32:36 +01:00
|
|
|
|
with utils;
|
2006-12-21 14:22:40 +00:00
|
|
|
|
|
2012-03-15 13:54:23 +00:00
|
|
|
|
let
|
|
|
|
|
|
2015-11-25 19:09:09 +00:00
|
|
|
|
fileSystems' = toposort fsBefore (attrValues config.fileSystems);
|
|
|
|
|
|
|
|
|
|
fileSystems = if fileSystems' ? "result"
|
|
|
|
|
then # use topologically sorted fileSystems everywhere
|
|
|
|
|
fileSystems'.result
|
|
|
|
|
else # the assertion below will catch this,
|
|
|
|
|
# but we fall back to the original order
|
|
|
|
|
# anyway so that other modules could check
|
|
|
|
|
# their assertions too
|
|
|
|
|
(attrValues config.fileSystems);
|
2012-11-02 17:02:12 +00:00
|
|
|
|
|
2015-09-24 17:13:14 +01:00
|
|
|
|
prioOption = prio: optionalString (prio != null) " pri=${toString prio}";
|
2013-05-13 22:42:55 +01:00
|
|
|
|
|
2016-08-27 11:29:38 +01:00
|
|
|
|
specialFSTypes = [ "proc" "sysfs" "tmpfs" "devtmpfs" "devpts" ];
|
|
|
|
|
|
2016-08-31 14:45:19 +01:00
|
|
|
|
coreFileSystemOpts = { name, config, ... }: {
|
2012-11-02 17:02:12 +00:00
|
|
|
|
|
|
|
|
|
options = {
|
|
|
|
|
|
|
|
|
|
mountPoint = mkOption {
|
|
|
|
|
example = "/mnt/usb";
|
2013-10-30 10:02:04 +00:00
|
|
|
|
type = types.str;
|
2012-11-02 17:02:12 +00:00
|
|
|
|
description = "Location of the mounted the file system.";
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
device = mkOption {
|
|
|
|
|
default = null;
|
|
|
|
|
example = "/dev/sda";
|
2015-08-17 18:52:45 +01:00
|
|
|
|
type = types.nullOr types.str;
|
2012-11-02 17:02:12 +00:00
|
|
|
|
description = "Location of the device.";
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
fsType = mkOption {
|
|
|
|
|
default = "auto";
|
|
|
|
|
example = "ext3";
|
2013-10-30 10:02:04 +00:00
|
|
|
|
type = types.str;
|
2012-11-02 17:02:12 +00:00
|
|
|
|
description = "Type of the file system.";
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
options = mkOption {
|
2015-10-21 18:37:14 +01:00
|
|
|
|
default = [ "defaults" ];
|
|
|
|
|
example = [ "data=journal" ];
|
2012-11-02 17:02:12 +00:00
|
|
|
|
description = "Options used to mount the file system.";
|
2015-10-21 18:37:14 +01:00
|
|
|
|
type = types.listOf types.str;
|
2016-09-01 10:18:33 +01:00
|
|
|
|
};
|
2012-11-02 17:02:12 +00:00
|
|
|
|
|
2016-08-31 14:45:19 +01:00
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
config = {
|
|
|
|
|
mountPoint = mkDefault name;
|
|
|
|
|
device = mkIf (elem config.fsType specialFSTypes) (mkDefault config.fsType);
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
fileSystemOpts = { config, ... }: {
|
|
|
|
|
|
|
|
|
|
options = {
|
|
|
|
|
|
|
|
|
|
label = mkOption {
|
|
|
|
|
default = null;
|
|
|
|
|
example = "root-partition";
|
|
|
|
|
type = types.nullOr types.str;
|
|
|
|
|
description = "Label of the device (if any).";
|
|
|
|
|
};
|
|
|
|
|
|
2012-11-02 17:02:12 +00:00
|
|
|
|
autoFormat = mkOption {
|
|
|
|
|
default = false;
|
|
|
|
|
type = types.bool;
|
|
|
|
|
description = ''
|
|
|
|
|
If the device does not currently contain a filesystem (as
|
|
|
|
|
determined by <command>blkid</command>, then automatically
|
|
|
|
|
format it with the filesystem type specified in
|
|
|
|
|
<option>fsType</option>. Use with caution.
|
|
|
|
|
'';
|
|
|
|
|
};
|
|
|
|
|
|
2015-10-04 02:14:53 +01:00
|
|
|
|
formatOptions = mkOption {
|
|
|
|
|
default = "";
|
|
|
|
|
type = types.str;
|
|
|
|
|
description = ''
|
|
|
|
|
If <option>autoFormat</option> option is set specifies
|
|
|
|
|
extra options passed to mkfs.
|
|
|
|
|
'';
|
|
|
|
|
};
|
|
|
|
|
|
2015-09-24 17:13:14 +01:00
|
|
|
|
autoResize = mkOption {
|
|
|
|
|
default = false;
|
|
|
|
|
type = types.bool;
|
|
|
|
|
description = ''
|
|
|
|
|
If set, the filesystem is grown to its maximum size before
|
|
|
|
|
being mounted. (This is typically the size of the containing
|
|
|
|
|
partition.) This is currently only supported for ext2/3/4
|
|
|
|
|
filesystems that are mounted during early boot.
|
|
|
|
|
'';
|
|
|
|
|
};
|
|
|
|
|
|
2012-11-02 17:02:12 +00:00
|
|
|
|
noCheck = mkOption {
|
|
|
|
|
default = false;
|
|
|
|
|
type = types.bool;
|
|
|
|
|
description = "Disable running fsck on this filesystem.";
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
config = {
|
2016-03-14 16:24:36 +00:00
|
|
|
|
options = mkIf config.autoResize [ "x-nixos.autoresize" ];
|
2015-10-04 02:14:53 +01:00
|
|
|
|
|
|
|
|
|
# -F needed to allow bare block device without partitions
|
|
|
|
|
formatOptions = mkIf ((builtins.substring 0 3 config.fsType) == "ext") (mkDefault "-F");
|
2012-11-02 17:02:12 +00:00
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
2016-08-27 11:29:38 +01:00
|
|
|
|
# Makes sequence of `specialMount device mountPoint options fsType` commands.
|
|
|
|
|
# `systemMount` should be defined in the sourcing script.
|
|
|
|
|
makeSpecialMounts = mounts:
|
|
|
|
|
pkgs.writeText "mounts.sh" (concatMapStringsSep "\n" (mount: ''
|
|
|
|
|
specialMount "${mount.device}" "${mount.mountPoint}" "${concatStringsSep "," mount.options}" "${mount.fsType}"
|
|
|
|
|
'') mounts);
|
|
|
|
|
|
2012-03-15 13:54:23 +00:00
|
|
|
|
in
|
2012-10-12 22:32:36 +01:00
|
|
|
|
|
2009-10-12 17:36:19 +01:00
|
|
|
|
{
|
|
|
|
|
|
|
|
|
|
###### interface
|
2009-05-28 00:14:38 +01:00
|
|
|
|
|
|
|
|
|
options = {
|
|
|
|
|
|
2009-06-11 17:03:57 +01:00
|
|
|
|
fileSystems = mkOption {
|
2013-11-18 15:26:39 +00:00
|
|
|
|
default = {};
|
2016-06-19 08:02:24 +01:00
|
|
|
|
example = literalExample ''
|
|
|
|
|
{
|
|
|
|
|
"/".device = "/dev/hda1";
|
|
|
|
|
"/data" = {
|
|
|
|
|
device = "/dev/hda2";
|
|
|
|
|
fsType = "ext3";
|
|
|
|
|
options = [ "data=journal" ];
|
|
|
|
|
};
|
|
|
|
|
"/bigdisk".label = "bigdisk";
|
|
|
|
|
}
|
|
|
|
|
'';
|
2016-08-31 14:45:19 +01:00
|
|
|
|
type = types.loaOf (types.submodule [coreFileSystemOpts fileSystemOpts]);
|
2012-03-09 14:37:58 +00:00
|
|
|
|
description = ''
|
2009-05-28 00:14:38 +01:00
|
|
|
|
The file systems to be mounted. It must include an entry for
|
2013-10-28 12:36:45 +00:00
|
|
|
|
the root directory (<literal>mountPoint = "/"</literal>). Each
|
2009-05-28 00:14:38 +01:00
|
|
|
|
entry in the list is an attribute set with the following fields:
|
|
|
|
|
<literal>mountPoint</literal>, <literal>device</literal>,
|
|
|
|
|
<literal>fsType</literal> (a file system type recognised by
|
|
|
|
|
<command>mount</command>; defaults to
|
2013-10-28 12:36:45 +00:00
|
|
|
|
<literal>"auto"</literal>), and <literal>options</literal>
|
2009-05-28 00:14:38 +01:00
|
|
|
|
(the mount options passed to <command>mount</command> using the
|
2015-10-21 18:37:14 +01:00
|
|
|
|
<option>-o</option> flag; defaults to <literal>[ "defaults" ]</literal>).
|
2009-05-28 00:14:38 +01:00
|
|
|
|
|
|
|
|
|
Instead of specifying <literal>device</literal>, you can also
|
|
|
|
|
specify a volume label (<literal>label</literal>) for file
|
|
|
|
|
systems that support it, such as ext2/ext3 (see <command>mke2fs
|
|
|
|
|
-L</command>).
|
2012-03-09 14:37:58 +00:00
|
|
|
|
'';
|
2009-05-28 00:14:38 +01:00
|
|
|
|
};
|
2011-09-14 19:20:50 +01:00
|
|
|
|
|
2012-03-09 14:37:58 +00:00
|
|
|
|
system.fsPackages = mkOption {
|
2009-05-28 00:14:38 +01:00
|
|
|
|
internal = true;
|
2012-03-09 14:37:58 +00:00
|
|
|
|
default = [ ];
|
|
|
|
|
description = "Packages supplying file system mounters and checkers.";
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
boot.supportedFilesystems = mkOption {
|
|
|
|
|
default = [ ];
|
|
|
|
|
example = [ "btrfs" ];
|
2015-06-15 17:18:46 +01:00
|
|
|
|
type = types.listOf types.str;
|
2012-03-09 14:37:58 +00:00
|
|
|
|
description = "Names of supported filesystem types.";
|
|
|
|
|
};
|
|
|
|
|
|
2016-08-31 14:45:19 +01:00
|
|
|
|
boot.specialFileSystems = mkOption {
|
|
|
|
|
default = {};
|
|
|
|
|
type = types.loaOf (types.submodule coreFileSystemOpts);
|
|
|
|
|
internal = true;
|
|
|
|
|
description = ''
|
|
|
|
|
Special filesystems that are mounted very early during boot.
|
|
|
|
|
'';
|
|
|
|
|
};
|
|
|
|
|
|
2009-05-28 00:14:38 +01:00
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
2009-10-12 17:36:19 +01:00
|
|
|
|
###### implementation
|
2009-05-28 00:14:38 +01:00
|
|
|
|
|
2009-10-12 17:36:19 +01:00
|
|
|
|
config = {
|
2009-05-28 00:14:38 +01:00
|
|
|
|
|
2015-11-25 19:09:09 +00:00
|
|
|
|
assertions = let
|
|
|
|
|
ls = sep: concatMapStringsSep sep (x: x.mountPoint);
|
|
|
|
|
in [
|
|
|
|
|
{ assertion = ! (fileSystems' ? "cycle");
|
|
|
|
|
message = "The ‘fileSystems’ option can't be topologically sorted: mountpoint dependency path ${ls " -> " fileSystems'.cycle} loops to ${ls ", " fileSystems'.loops}";
|
|
|
|
|
}
|
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
# Export for use in other modules
|
|
|
|
|
system.build.fileSystems = fileSystems;
|
2016-08-31 14:45:19 +01:00
|
|
|
|
system.build.earlyMountScript = makeSpecialMounts (toposort fsBefore (attrValues config.boot.specialFileSystems)).result;
|
2015-11-25 19:09:09 +00:00
|
|
|
|
|
2012-11-02 17:02:12 +00:00
|
|
|
|
boot.supportedFilesystems = map (fs: fs.fsType) fileSystems;
|
2012-03-09 14:37:58 +00:00
|
|
|
|
|
2009-10-12 17:36:19 +01:00
|
|
|
|
# Add the mount helpers to the system path so that `mount' can find them.
|
2012-03-09 14:37:58 +00:00
|
|
|
|
system.fsPackages = [ pkgs.dosfstools ];
|
2012-10-12 22:32:36 +01:00
|
|
|
|
|
2015-04-19 20:27:52 +01:00
|
|
|
|
environment.systemPackages = [ pkgs.fuse ] ++ config.system.fsPackages;
|
2011-09-14 19:20:50 +01:00
|
|
|
|
|
2013-02-03 13:12:49 +00:00
|
|
|
|
environment.etc.fstab.text =
|
2014-12-29 01:53:37 +00:00
|
|
|
|
let
|
2015-09-21 13:43:05 +01:00
|
|
|
|
fsToSkipCheck = [ "none" "btrfs" "zfs" "tmpfs" "nfs" "vboxsf" ];
|
2014-12-29 01:53:37 +00:00
|
|
|
|
skipCheck = fs: fs.noCheck || fs.device == "none" || builtins.elem fs.fsType fsToSkipCheck;
|
|
|
|
|
in ''
|
2013-02-03 13:12:49 +00:00
|
|
|
|
# This is a generated file. Do not edit!
|
2016-08-24 19:37:21 +01:00
|
|
|
|
#
|
|
|
|
|
# To make changes, edit the fileSystems and swapDevices NixOS options
|
|
|
|
|
# in your /etc/nixos/configuration.nix file.
|
2013-02-03 13:12:49 +00:00
|
|
|
|
|
|
|
|
|
# Filesystems.
|
2015-11-25 19:09:09 +00:00
|
|
|
|
${concatMapStrings (fs:
|
2014-07-30 12:10:03 +01:00
|
|
|
|
(if fs.device != null then fs.device
|
|
|
|
|
else if fs.label != null then "/dev/disk/by-label/${fs.label}"
|
|
|
|
|
else throw "No device specified for mount point ‘${fs.mountPoint}’.")
|
2013-02-03 13:12:49 +00:00
|
|
|
|
+ " " + fs.mountPoint
|
|
|
|
|
+ " " + fs.fsType
|
2015-10-21 18:37:14 +01:00
|
|
|
|
+ " " + builtins.concatStringsSep "," fs.options
|
2013-02-03 13:12:49 +00:00
|
|
|
|
+ " 0"
|
2014-12-29 01:53:37 +00:00
|
|
|
|
+ " " + (if skipCheck fs then "0" else
|
2013-02-03 13:12:49 +00:00
|
|
|
|
if fs.mountPoint == "/" then "1" else "2")
|
|
|
|
|
+ "\n"
|
2016-08-31 14:45:19 +01:00
|
|
|
|
) fileSystems}
|
2013-02-03 13:12:49 +00:00
|
|
|
|
|
|
|
|
|
# Swap devices.
|
|
|
|
|
${flip concatMapStrings config.swapDevices (sw:
|
2015-10-18 19:20:46 +01:00
|
|
|
|
"${sw.realDevice} none swap${prioOption sw.priority}\n"
|
2013-02-03 13:12:49 +00:00
|
|
|
|
)}
|
|
|
|
|
'';
|
2010-06-04 15:22:11 +01:00
|
|
|
|
|
2012-10-12 20:08:44 +01:00
|
|
|
|
# Provide a target that pulls in all filesystems.
|
2013-01-16 11:33:18 +00:00
|
|
|
|
systemd.targets.fs =
|
2012-10-12 20:08:44 +01:00
|
|
|
|
{ description = "All File Systems";
|
|
|
|
|
wants = [ "local-fs.target" "remote-fs.target" ];
|
|
|
|
|
};
|
|
|
|
|
|
2012-10-12 22:32:36 +01:00
|
|
|
|
# Emit systemd services to format requested filesystems.
|
2013-01-16 11:33:18 +00:00
|
|
|
|
systemd.services =
|
2012-10-12 22:32:36 +01:00
|
|
|
|
let
|
|
|
|
|
|
|
|
|
|
formatDevice = fs:
|
|
|
|
|
let
|
2015-11-25 19:09:43 +00:00
|
|
|
|
mountPoint' = "${escapeSystemdPath fs.mountPoint}.mount";
|
|
|
|
|
device' = escapeSystemdPath fs.device;
|
|
|
|
|
device'' = "${device}.device";
|
2012-10-12 22:32:36 +01:00
|
|
|
|
in nameValuePair "mkfs-${device'}"
|
|
|
|
|
{ description = "Initialisation of Filesystem ${fs.device}";
|
2015-11-25 19:09:43 +00:00
|
|
|
|
wantedBy = [ mountPoint' ];
|
|
|
|
|
before = [ mountPoint' "systemd-fsck@${device'}.service" ];
|
|
|
|
|
requires = [ device'' ];
|
|
|
|
|
after = [ device'' ];
|
2012-10-12 22:32:36 +01:00
|
|
|
|
path = [ pkgs.utillinux ] ++ config.system.fsPackages;
|
|
|
|
|
script =
|
|
|
|
|
''
|
|
|
|
|
if ! [ -e "${fs.device}" ]; then exit 1; fi
|
|
|
|
|
# FIXME: this is scary. The test could be more robust.
|
2012-05-16 01:03:44 +01:00
|
|
|
|
type=$(blkid -p -s TYPE -o value "${fs.device}" || true)
|
|
|
|
|
if [ -z "$type" ]; then
|
|
|
|
|
echo "creating ${fs.fsType} filesystem on ${fs.device}..."
|
2015-10-04 02:14:53 +01:00
|
|
|
|
mkfs.${fs.fsType} ${fs.formatOptions} "${fs.device}"
|
2012-05-16 01:03:44 +01:00
|
|
|
|
fi
|
2012-10-12 22:32:36 +01:00
|
|
|
|
'';
|
|
|
|
|
unitConfig.RequiresMountsFor = [ "${dirOf fs.device}" ];
|
|
|
|
|
unitConfig.DefaultDependencies = false; # needed to prevent a cycle
|
|
|
|
|
serviceConfig.Type = "oneshot";
|
|
|
|
|
};
|
2010-06-07 13:15:55 +01:00
|
|
|
|
|
2012-11-02 17:02:12 +00:00
|
|
|
|
in listToAttrs (map formatDevice (filter (fs: fs.autoFormat) fileSystems));
|
2006-12-21 14:22:40 +00:00
|
|
|
|
|
2016-08-27 11:29:38 +01:00
|
|
|
|
# Sync mount options with systemd's src/core/mount-setup.c: mount_table.
|
2016-08-31 14:45:19 +01:00
|
|
|
|
boot.specialFileSystems = {
|
2016-08-27 11:29:38 +01:00
|
|
|
|
"/proc" = { fsType = "proc"; options = [ "nosuid" "noexec" "nodev" ]; };
|
|
|
|
|
"/sys" = { fsType = "sysfs"; options = [ "nosuid" "noexec" "nodev" ]; };
|
|
|
|
|
"/run" = { fsType = "tmpfs"; options = [ "nosuid" "nodev" "strictatime" "mode=755" "size=${config.boot.runSize}" ]; };
|
|
|
|
|
"/dev" = { fsType = "devtmpfs"; options = [ "nosuid" "strictatime" "mode=755" "size=${config.boot.devSize}" ]; };
|
|
|
|
|
"/dev/shm" = { fsType = "tmpfs"; options = [ "nosuid" "nodev" "strictatime" "mode=1777" "size=${config.boot.devShmSize}" ]; };
|
|
|
|
|
"/dev/pts" = { fsType = "devpts"; options = [ "nosuid" "noexec" "mode=620" "gid=${toString config.ids.gids.tty}" ]; };
|
|
|
|
|
};
|
|
|
|
|
|
2009-03-06 12:27:33 +00:00
|
|
|
|
};
|
2009-08-11 22:10:33 +01:00
|
|
|
|
|
2006-12-21 14:22:40 +00:00
|
|
|
|
}
|