2018-01-06 13:52:51 +00:00
|
|
|
# This module automatically grows the root partition.
|
|
|
|
# This allows an instance to be created with a bigger root filesystem
|
|
|
|
# than provided by the machine image.
|
|
|
|
|
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
|
|
|
with lib;
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
options = {
|
|
|
|
boot.growPartition = mkEnableOption "grow the root partition on boot";
|
|
|
|
};
|
|
|
|
|
|
|
|
config = mkIf config.boot.growPartition {
|
|
|
|
|
|
|
|
boot.initrd.extraUtilsCommands = ''
|
|
|
|
copy_bin_and_libs ${pkgs.gawk}/bin/gawk
|
|
|
|
copy_bin_and_libs ${pkgs.gnused}/bin/sed
|
|
|
|
copy_bin_and_libs ${pkgs.utillinux}/sbin/sfdisk
|
|
|
|
copy_bin_and_libs ${pkgs.utillinux}/sbin/lsblk
|
|
|
|
|
|
|
|
substitute "${pkgs.cloud-utils}/bin/.growpart-wrapped" "$out/bin/growpart" \
|
|
|
|
--replace "${pkgs.bash}/bin/sh" "/bin/sh" \
|
|
|
|
--replace "awk" "gawk" \
|
|
|
|
--replace "sed" "gnused"
|
|
|
|
|
|
|
|
ln -s sed $out/bin/gnused
|
|
|
|
'';
|
|
|
|
|
|
|
|
boot.initrd.postDeviceCommands = ''
|
|
|
|
rootDevice="${config.fileSystems."/".device}"
|
2018-05-09 14:15:16 +00:00
|
|
|
if waitDevice "$rootDevice"; then
|
2018-01-06 13:52:51 +00:00
|
|
|
rootDevice="$(readlink -f "$rootDevice")"
|
2018-04-19 12:47:10 +00:00
|
|
|
parentDevice="$rootDevice"
|
|
|
|
while [ "''${parentDevice%[0-9]}" != "''${parentDevice}" ]; do
|
|
|
|
parentDevice="''${parentDevice%[0-9]}";
|
|
|
|
done
|
|
|
|
partNum="''${rootDevice#''${parentDevice}}"
|
|
|
|
if [ "''${parentDevice%[0-9]p}" != "''${parentDevice}" ] && [ -b "''${parentDevice%p}" ]; then
|
|
|
|
parentDevice="''${parentDevice%p}"
|
|
|
|
fi
|
|
|
|
TMPDIR=/run sh $(type -P growpart) "$parentDevice" "$partNum"
|
2018-01-06 13:52:51 +00:00
|
|
|
udevadm settle
|
|
|
|
fi
|
|
|
|
'';
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|