Indeed: 8 GB is rather small. Although it would still be OK for my main
(desktop) system:
$ du -hs /usr/
7,0G /usr/
@Geshmy: read again the end of
https://trisquel.info/forum/partition-table-suggested-installing-three-gnulinux-systems#comment-69650
and understand that you would probably end up in such problems because you do
not seem to have have much of an idea of how much space you need for /opt,
/usr, /var, etc. And I still do not understand the point of having /opt, /usr
and /var in ext4 filesystems mounted on top of another ext4 filesystem (/).
The argument you read about /home, /tmp and /var/tmp makes sense (I never had
such a problem though). In the end, you could choose a simpler partitioning
schema such as this one:
18 GB ext4 filesystem for / (I summed the sizes you provided for /, /opt,
/usr and /var);
6 GB ext2 filesystem for /tmp (I am here considering uses such as mine:
ViewTube to watch online videos, Popocorn Time for 1080p movies, etc.);
1 GB ext2 filesystem for /var/tmp (my system actually does seem to ever use
/var/tmp);
The rest of the disk in an ext4 filesystem for /home.
The order of the partitions matters in case you want to resize them. For
instance, with the above partitioning schema, I would choose /tmp, /var/tmp,
/ and /home or the reverse order (see earlier discussions on performances)
because:
if /var/tmp really happen to be never used, you could just shrink/remove it
and extend either /tmp or / (according to your needs);
if /home is full, / probably is where to find the most free space;
You could use an XFS filesystem for /home. It is said to be be faster for
large files such as user files. However it cannot be shrunk. With the
partitioning schema I proposed, that means a full / partition will have to
gain space on /var/tmp (first) and /tmp (if the space gained on /var/tmp is
not enough). However 18 GB for / is quite a lot and you would probably not
end up filling it all.
