VirtualBox のxubuntu のイメージが 50GB を超えているのですが,サイズを縮小する必要が生じました。参考にしたサイトは下記。
参考サイトのままですが,コマンドを記録しておきます。ホストは Windows でゲストは xubuntu です。まずゲストで下記。ゼロで埋めるとのこと。これは結構長く時間がかかりました。zero? を消して良いかとの質問が最後の方であります。
$ dd if=/dev/zero of=zero bs=4k; \rm zero
次にホストで下記。ハードディスクイメージの UUID とやらを取得するとのこと。
VBoxManage.exe list hdds
その後で,ホストで下記。[UUID] のところは,先ほど取得したものを記入します。これはそれほど時間がかからない。
vboxmanage.exe modifyhd [UUID] --compact
16GB 程度になりました。コマンドを打っているところのキャプチャーを下記にあげます。UUID はとても長い文字列で手で打つものじゃありません。VBoxManage.exe にはパスが通っていなかったので,プログラムのところまで移動して打ちました。