Sometimes, you need to resize your partitions on Linux. And this may not be as easy as you think…
When I installed Debian on my work computer a few months ago, the wizard suggested creating 2 separate partitions: one for root (with the OS itself), another for home (with my personal data). Alas! The suggested sizes (that I naively accepted) were highly unsuitable and a month later, the root partition (only 40 GB) was full. I had to resize them. It turns out that now, 5 months later, the home is full (I really generate a lot of data for my current project). It’s time to resize my partitions again but this time I will keep track of the entire procedure in this article. Who knows when I will have to resize them one more time…