diff options
| author | Samuel Thibault <sthibault@debian.org> | 2015-04-22 20:24:20 +0000 |
|---|---|---|
| committer | Samuel Thibault <sthibault@debian.org> | 2015-04-22 20:24:20 +0000 |
| commit | 90b413c372a9c26970d2cba1514302b346c0aa61 (patch) | |
| tree | e24cf44936b2243d881ea940b9978460cdafa1db /en | |
| parent | bebf477787dda79633f4e554797a76696f164db6 (diff) | |
| download | installation-guide-90b413c372a9c26970d2cba1514302b346c0aa61.zip | |
Make root filesystem needed size an entity, and bump maximum to 310
Diffstat (limited to 'en')
| -rw-r--r-- | en/partitioning/tree.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/en/partitioning/tree.xml b/en/partitioning/tree.xml index 6597108eb..b653527c2 100644 --- a/en/partitioning/tree.xml +++ b/en/partitioning/tree.xml @@ -97,7 +97,7 @@ The root partition <filename>/</filename> must always physically contain <filename>/etc</filename>, <filename>/bin</filename>, <filename>/sbin</filename>, <filename>/lib</filename> and <filename>/dev</filename>, otherwise you won't be able to boot. -Typically 150–250MB is needed for the root partition. +Typically &root-system-size-min;–&root-system-size-max;MB is needed for the root partition. </para></listitem> <listitem><para> |