How to shrink a live partition (/dev/xvda3). I have done this before, but it is two years ago and cannot remember. I have a freshly installed Ubuntu Server:
Filesystem 1K-blocks Used Available Use% Mounted on /dev/xvda3 855622016 1355060 810803888 1% / udev 245452 4 245448 1% /dev tmpfs 99792 168 99624 1% /run none 5120 0 5120 0% /run/lock none 249480 0 249480 0% /run/shm /dev/xvda1 99286 12387 81773 14% /boot
I need to split /dev/xvda3, making it 15G and then create a new partition /dev/xvda4 with the remaining 8xxG. I need this so I can mount it separately and share it with other servers.
Not afraid of dataloss, as it is a fresh install and can reinstall the (virtual) server with the click of the mouse.