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.