./launcher enter app rebuilds everything

[PhilipLoewen]

@pfaffman

when it didn’t a bunch of people had trouble because stuff was out of date.

I thought this might be the reason. Balancing stone-cold logic with the quirks of user expectations is never straightforward.

@pfaffman

If you have a reason not to do a pull then do a docker run command instead.

I had to learn this the hard way. Now that I know it, I can understand the design decision.

Thanks for the replies, and the excellent software.