仮想ディスクのサイズを変更し、それを Vagrant 環境にマップするにはどうすればよいですか?

仮想ディスクのサイズを変更し、それを Vagrant 環境にマップするにはどうすればよいですか?

私の質問の言い回しが正しいか分かりませんが、ここで私の問題をできるだけ説明したいと思います。

私は会社で使用しているサーバーの仮想ディスクのサイズ変更に取り組んでいます。最近、ディスクがいっぱいになり、仮想ボックスのサイズを変更するように指示されました。このガイドディスクのサイズを変更する方法を学び、フォーマットしたところ、すべてうまくいっているように見えました。あとは Vagrant に新しくサイズを変更した仮想ディスクを参照するように指示するだけで、すべてが稼働するはずでした。しかし、ここで問題が発生しました...

また、Stack Overflow/Superuser Stack Exchange のガイドにも従いました (現在リンクが見つからないため、見つかったらここに投稿します)。このガイドでは、ファイルに仮想ディスクの UUID を入れるように指示されています.vagrant/machines/default/virtualbox/id。これで Vagrant に新しいディスクを参照するように指示したはずですが、サーバーを再起動したときに、Vagrant は古いディスクをまだ使用しているようで、古いサーバーと同じ動作 (数秒間起動してからフリーズする) を示していました。

Vagrant に元のディスクではなく、より大きなディスクを参照させるにはどうすればよいですか?

関連情報