VMWare Player 7.1.0 build-2496824ではディスク容量の拡張が可能なようです。 古いバージョンを使い続けていたので、どのバージョンから拡張できるようになったのかわかりませんが、これはとても便利ですね。 拡張した後はOSからボリュームを拡張してくださ…