boot2dockerのディスク容量に空きが無くなってイメージのビルドに失敗する問題

コンテナの作成時にboot2dockerのVM上のディスク容量が無くなってしまい、RUNコマンドが失敗するようになってしまった。
自分の環境ではboot2dockerのVMのディスクサイズは20Gだった。

$ boot2docker config
2014/08/17 21:41:07 boot2docker profile filename: /Users/nyamage/.boot2docker/profile
Verbose = false
VBM = "VBoxManage"
SSH = "ssh"
SSHGen = "ssh-keygen"
SSHKey = "/Users/nyamage/.ssh/id_boot2docker"
VM = "boot2docker-vm"
Dir = "/Users/nyamage/.boot2docker"
ISO = "/Users/nyamage/.boot2docker/boot2docker.iso"
VMDK = ""
DiskSize = 20000
Memory = 2048
SSHPort = 2022
DockerPort = 2375
HostIP = "192.168.59.3"
DHCPIP = "192.168.59.99"
NetMask = [255, 255, 255, 0]
LowerIP = "192.168.59.103"
UpperIP = "192.168.59.254"
DHCPEnabled = true
Serial = false
SerialFile = "/Users/nyamage/.boot2docker/boot2docker-vm.sock"

不要なDockerのイメージを削除すれば直るかもしれないけど、ディスク容量も少し増やしておきたい。
boot2dockerのイメージ上にあまりデータを保存してなかったので、イメージを作り直すことでディスクサイズの変更した。以下のような手順でいけたはず（うろ覚え）。configの指定かinitのディスクサイズのどちらかは不要だと思うけど、どっちがいらなかったのか不明。

boot2dockerのイメージを一度消すので、この手順を試す際は気をつけて。

$ boot2docker config -s 40000 > /Users/nyamage/.boot2docker/profile
$ boot2docker down
$ boot2docker delete
$ boot2docker init -s 40000 
$ boot2docker up

boot2dockerのイメージを削除した影響としてはboot2docker上にダウンロードしたイメージが消えてるのでコンテナの最初の作成に少し時間がかかるのと、docker-enterを再インストールしなきゃいけなくなった位。

今後のためにも、イメージ消さなくてもディスク容量増やす方法誰か教えて下さい。