Extending a partition, live

A silhouette appeared ad my door one day. “Can you please increase the size of the root partition on my VMWare VM? I assigned you a ticket. K, tnx, baiiiii!”, and they were gone the next moment. No chit-chat, no banter. Just a textbook blurt and run. I guess they were in a hurry, huh? … More Extending a partition, live