search

particle-iot-archived / particle-dev-local-compiler

Package providing local compilation for Particle devices in Particle Dev
MIT License
11 stars 0 forks source link

Use smaller virtual machine disk #13

Closed rei-vilo closed 8 years ago

rei-vilo commented 8 years ago

The virtual machine disk installed by Docker ~/.docker/machine/machines/default/disk.vmdk weights almost 22 GB. 22 GB is almost 10% of a 256 GB SSD.

Is there a way to squeeze it to a more acceptable size?

Thank you!

suda commented 8 years ago

You can remove versions you don't want using docker rmi command. In the future this will be done using #8.

rei-vilo commented 8 years ago

@suda

  1. Providing a procedure would be appreciated.

List the images with docker images and then launch docker rmi <IMAGE ID>, with <IMAGE ID> provided in the list.

  1. This procedure has no impact on the size of the virtual machine, so the answer is not relevant.
  2. Please reopen the ticket.
rei-vilo commented 8 years ago

Ticket reopened as #16.