Hi Christophe,

On Fri, 9 Nov 2018 at 15:15, Christophe Demarey
<christophe.demarey@inria.fr> wrote:
>
> For now, to work around the problem, I will add a windows to easily update the VMs from the launcher UI.

It should be possible to check if there is a new VM by just requesting
the headers for the download URL.�� ��You could then add a "Check for
new VM" button / menu item, and maybe even have a setting to do it
each time the launcher is started.