Docker – Move boot2docker machine to secondary hard drive – Windows 10 Home edition

Docker images can take a lot of spaces over time.
My primary hard drive is a 128GO SSD so I wanted to move my boot2docker virtual machine to my secondary hard drive (D:/).

I followed those instruction.

Here is the summary:

  1. Open virtualbox
  2. Stop the virtual machine default if it’s in function
  3. File > Virtual Media Manager
  4. Make a copy of disk.vmdk to the desired location on your secondary hard drive
    1. Type is VMDK
    2. Choose Dynamically allocated
    3. Choose the new location
      boot2docker-copy-hard-drive
  5. Go the Settings of the machine default
  6. Go to Storage tab
  7. Select disk.vmdk and remove it
    1. Note: take note of the SATA port
      boot2docker-remove-disk
  8. Add a new existing hard drive and select the copied one
    boot2docker-add-drive
    virtualbox-choose-existing
  9. Make sure the SATA port is the same as previously
  10. Launch docker again

Make sure your images are still there by running

docker images

You can safely delete the old hard drive

Note: It is located under C:\Users\%Username%\.docker\machine\machines\disk.vmdk

Wox – How to upload a plugin with the “.wox” extension

I just created my first Wox plugin, available here  and the source code is here

But during the upload phase, it is not clear what are the accepted files type for the plugin.

what type for wox plugin.JPG

The website says that a “.wox” file is needed but didn’t tell me how to generate it.

This file is simply your project zipped that you rename to change the extension.

It is also important that you have your files directly at the root of the archive and that the file “plugin.json” is present.

For example, here is the content of my archive file, renamed to have the “.wox” extension

wox plugin files.JPG

Windows Universal Applications – Programmatically change Segoe MDL2 Assets icon

When trying to change an icon in a TextBox using the Segoe MDL2 Assets, it just give me some ugly squares.

The solution is to use the escape character followed by the Unicode representation of the icon.

MyTextBox.Content = "\uE71A";

And not to use the classical notation &#…

Thanks to this guy : https://www.youtube.com/watch?v=SOkOjjEQzxc