I have a linux server running Ubuntu. The partition holding the mysql has run out of space (it's only a 4.6GB partition, for some reason) I need the partition to be larger, 15GB in total, but have no idea how to do it.
## Deliverables
Resize the partitions. They are as follows: / 18.07% 3.8GB Free (4.6GB Total) /home 9.05% 58.0GB Free (63.7GB Total) /var 99.95% 3MB Free (4.6GB Total) Becasuse the /var partition is full - I need the /var partition to be 10 GB bigger, so the 10GB needs to be taken from the /home partition so that the /var partition is at least 15GB. Please make sure there is no data loss.
## Platform
Linux, Ubuntu