duckietown / duckietown-shell

Other
3 stars 6 forks source link

Feature request: Check if docker image is built before running #85

Open paulrobinette opened 2 years ago

paulrobinette commented 2 years ago

Is there a way to check if a dts container is built before it is run? I have students who use the class repo template, clone it, then try to run it and it gives an error about permission denied on docker (because the image doesn't exist on docker). It would be nice to have a friendly "Have you built your container using dts devel build yet?" message at the end as a prompt. Preferably in bright colors so they see it!

liampaull commented 2 years ago

This is for the dts devel run command correct?

paulrobinette commented 2 years ago

Correct. The current error message makes sense if you know docker but confuses new students in my class. A quick, friendly reminder to do dts devel build first would be appreciated.

On Fri, May 27, 2022, 10:54 Liam Paull @.***> wrote:

This is for the dts devel run command correct?

— Reply to this email directly, view it on GitHub https://github.com/duckietown/duckietown-shell/issues/85#issuecomment-1139695523, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAMXOU6XZH6WBG7CIYDAJITVMDO2FANCNFSM5UMHH4SA . You are receiving this because you authored the thread.Message ID: @.***>