Vagrantのboxをリネームしようとしたが、専用のコマンドがなかったので調べてみました。

boxの実態

デフォルトでは、boxは$HOME/.vagrant.d/boxesフォルダに格納されています。 格納先は、環境変数VAGRANT_HOMEで変更可能。 詳しくは以下のドキュメント参照。
https://www.vagrantup.com/docs/other/environmental-variables.html

> vagrant box list
centos/6 (virtualbox, 1803.01)

> ll $HOME/.vagrant.d/boxes
total 0
drwxr-xr-x   3 user  staff   96 May  2 08:20 .
drwxr-xr-x  10 user  staff  320 May 26 18:47 ..
drwxr-xr-x   4 user  staff  128 May  2 08:20 centos-VAGRANTSLASH-6

リネーム方法

そのため、これをリネームすればいいだけでした。 /はVAGRANTSLASHと置換されるているので、そこらへんの文字を使うときは注意が必要。

> mv $HOME/.vagrant.d/boxes/centos-VAGRANTSLASH-6 $HOME/.vagrant.d/boxes/centos-VAGRANTSLASH-7

> vagrant box list
centos/7 (virtualbox, 1803.01)

参考

https://superuser.com/questions/350657/can-i-rename-a-vagrant-box