回答:
ボックスを表すディレクトリの名前を変更するだけです。Vagrantファイルがデフォルトのディレクトリ(つまり/path/to/your/home/.vagrant.d)にある場合は、次のようにします。
mv vagrant_path/boxes/box_to_rename vagrant_path/boxes/new_box_name
また、Vagrantfileを変更して、ボックスに新しいラベルを使用するようにしてください。変更config.vm.box
を反映するには、ディレクティブを変更するだけです。
私はこれをします:
$ vagrant box repackage misspelled-name
[vagrant] Compressing package to: /Users/johndoe/package.box
$ vagrant box add correct-name /Users/johndoe/package.box
...
とにかくこれら2つについて知るのは最悪ではありません。ベースボックスを頻繁に更新して(カーネル、ソフトウェア、ゲストの追加を更新するなど)、必要なすべての更新を毎回実行するのを避けることができますvagrant up
。