diff options
| author | Julian Andres Klode <jak@debian.org> | 2024-04-13 20:27:48 +0200 |
|---|---|---|
| committer | Julian Andres Klode <jak@debian.org> | 2024-04-13 20:27:48 +0200 |
| commit | f7e5ed3c8dffcdfc2c55c63f2e3cbcb390bbf013 (patch) | |
| tree | 0b610e56522989082301b14b0cef9a3109aa8d94 /doc/examples | |
| parent | cf71004551eca23f6d73648bc19f65e8b2a08ce9 (diff) | |
Show space estimate for /boot, if separate; or estimate initrd for /usr
Calculate an estimate of 110% of the biggest initrd + system.map
as the additional space a kernel needs in /boot.
If /boot is a different file system than /usr, print the size of
the kernels + the additional space they will need separately;
otherwise include it in our /usr figure.
Diffstat (limited to 'doc/examples')
| -rw-r--r-- | doc/examples/configure-index | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/examples/configure-index b/doc/examples/configure-index index cc9a2e765..72e907507 100644 --- a/doc/examples/configure-index +++ b/doc/examples/configure-index @@ -487,6 +487,9 @@ Dir "<DIR>" { MountPath "/media/apt"; // Media AutoDetect mount path }; + + Boot "<DIR>"; + Usr "<DIR>"; }; // Things that effect the APT dselect method |