Hi, On 2021-07-18 6:17 p.m., Marco d'Itri wrote: > On Jul 19, Polyna-Maude Racicot-Summerside <deb...@polynamaude.com> wrote: > >> So if I get it right... > Except for /boot/, which may be required for technical reasons, there > is no need to further partition your file system unless you actually > have reasons to do it. > >> One partiton for /boot >> One partition for /usr >> One partition for /usr/local (if you feel like it) >> One / partiton that will contain not much stuff other than config files ? >> One partition for /var (if you feel) >> One partition for /opt, /srv ... >> One partition for /tmp > If you are aiming for overcomplexity then I think that you forgot /home. > >> The root partition can be small as 16 Gb as it won't contain much ? > If you create a partition for everything else as described here then > / will only contain /etc and /root, so even 1 GB will be enough. > But again, I do not really recommend this. > > I do not recommend to partition general purpose systems with less than > a few hundreds of GBs of allocated disk space. >
Here's my actual config (with 2TB) and yes I have a separate /home What is tmpfs and why is it set to 3.2 GB ? And /dev have 16G free ? Where does this come from... I'm wasting some space with /tmp ! Filesystem Size Used Avail Use% Mounted on udev 16G 0 16G 0% /dev tmpfs 3.2G 2.1M 3.2G 1% /run /dev/sda3 184G 70G 105G 40% / tmpfs 16G 163M 16G 2% /dev/shm tmpfs 5.0M 4.0K 5.0M 1% /run/lock /dev/sda5 262G 50G 199G 21% /var /dev/sda4 175G 86M 166G 1% /tmp /dev/sda8 88G 60M 83G 1% /usr/local /dev/sda7 92G 3.6G 84G 5% /opt /dev/sda10 92G 60M 87G 1% /srv /dev/sda1 487M 3.3M 483M 1% /boot/efi /dev/sda11 733G 649G 47G 94% /home tmpfs 3.2G 84K 3.2G 1% /run/user/118 tmpfs 3.2G 124K 3.2G 1% /run/user/1000 -- Polyna-Maude R.-Summerside -Be smart, Be wise, Support opensource development
OpenPGP_signature
Description: OpenPGP digital signature
