run.bat on Windows 10 does not recognize installed image

[jgriss]

When launching run.bat the first time the image was downloaded successfully. When launching the script a second time, it tries to download the image again. The command docker run .... worked without an issue showing that the image was installed correctly.

[veitveit]

Not so problematic as download is dropped when realizing that the image is up to date On 30 Aug 2018 12:56, "Johannes Griss" <notifications@github.com> wrote: When launching run.bat the first time the image was downloaded successfully. When launching the script a second time, it tries to download the image again. The command docker run .... worked without an issue showing that the image was installed correctly. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#65>, or mute the thread <https://github.com/notifications/unsubscribe-auth/APEZhd12-2a4P6xaG7z_9dfvig4ZCRCAks5uV8TagaJpZM4WTPp5> .

[jgriss]

This is actually caused since the output of docker images is different than expected. This can probably be solved through the --format option

[jgriss]

This functionality will be taken over by the Java GUI