How to extend an ext4 partition and filesystem?
You must begin with the partition unmounted. If you can’t unmount it (e.g. it’s your root partition or something else the system needs to run), use something like System Rescue CD instead. Run parted, or gparted if you prefer a GUI, and resize the partition to use the extra space. I prefer gparted as it … Read more