Linux MintさんのVagrant、初めてインストールしたときから
ほったらかしていたのを思い出したのでアップデートしました。
どうやら入っていたバージョンは
$ vagrant -v
Vagrant 1.6.3
最新のバージョンを探してみると、本日時点では
vagrant_1.7.2_x86_64.deb
というものだそうです。
普段はパッケージマネージャやapt-getで管理していて、
Vagrantのようなdebファイルは、たまにしか触らないのでよく忘れます。
どうやってアップデートするんだっけ！？
調べること約1時間。ppaにしたかったけど、どうやら公式ppaはなさそう。
deb周りでgdebiというようわからんコマンドが出て来たりもしましたが、
結局は何も考えずにdpkgコマンド放り込んだらいいようですね。勉強不足。
$ sudo dpkg -i vagrant_1.7.2_x86_64.deb
(中略)
Preparing to unpack vagrant_1.7.2_x86_64.deb ...
Unpacking vagrant (1:1.7.2) over (1:1.6.3) ...
vagrant (1:1.7.2) を設定しています ...
$ vagrant -v
Vagrant 1.7.2
Vagrantのプラグインを入れていれば
$ vagrant plugin update
というのもいるみたいですが、この環境には何も入っていないのでほっとく。
