Guillaume Raffy 8da9a44310 adapted the size of partitions to cope with debian's inflation: ... - significantly increased /usr from 20G to 40G because 20G turned out to be too small (see https://bugzilla.ipr.univ-rennes1.fr/show_bug.cgi?id=3410) - slightly increased /opt from 60G to 80G to allow more room space (that's where big software is installed), as on physix90 it was full at 45% and I suspect this figure would be higher ion bullseye - reduced the size of / from 30G down to 20G because on physix90, it was only used at 22% so I guess 20G will be still more than enough on bullseye		2022-08-19 19:05:07 +02:00
..
debian	adapted the size of partitions to cope with debian's inflation:	2022-08-19 19:05:07 +02:00