From 0c41dfd821de3f79756820bdbf161520104d11d6 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Mon, 20 Feb 2023 23:09:44 +0100
Subject: Update figures. Update text about root vs /usr

as the latter is now systematically in root.
---
 en/partitioning/tree.xml | 32 +++++++-------------------------
 1 file changed, 7 insertions(+), 25 deletions(-)

(limited to 'en')

diff --git a/en/partitioning/tree.xml b/en/partitioning/tree.xml
index b653527c2..27653e3aa 100644
--- a/en/partitioning/tree.xml
+++ b/en/partitioning/tree.xml
@@ -95,31 +95,13 @@ partitioning.
 
 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 &root-system-size-min;&ndash;&root-system-size-max;MB is needed for the root partition.
-
-</para></listitem>
-<listitem><para>
-
-<filename>/usr</filename>: contains all user programs
-(<filename>/usr/bin</filename>), libraries
-(<filename>/usr/lib</filename>), documentation
-(<filename>/usr/share/doc</filename>), etc.
-This is the part of the file system that generally takes up most space.
-You should provide at least 500MB of disk space. This amount should
-be increased depending on the number and type of packages you plan
-to install. A generous workstation or server installation should allow
-4&ndash;6GB.
-
-</para></listitem>
-<listitem><para>
-
-It is now recommended to have <filename>/usr</filename> on the 
-root partition <filename>/</filename>, otherwise it could 
-cause some trouble at boot time.
-This means that you should provide at least 600&ndash;750MB of disk space
-for the root partition including <filename>/usr</filename>, or 5&ndash;6GB 
+<filename>/sbin</filename>, <filename>/lib</filename>,
+<filename>/dev</filename> and <filename>/usr</filename>,
+otherwise you won't be able to boot.
+This means that you should provide at least
+&root-system-size-min;&ndash;&root-system-size-max;MB
+of disk space for the root partition including <filename>/usr</filename>, or
+&root-desktop-system-size-min;&ndash;&root-desktop-system-size-max;
 for a workstation or a server installation.
 
 </para></listitem>
-- 
cgit v1.2.3