tree 6035b9b981985dfd7a51080571e9b9bd4dafda9b
parent 85cf370a74b4065f9411e707900f0895fa8f14a1
author Alon Zakai <azakai@google.com> 1590082548 -0700
committer GitHub <noreply@github.com> 1590082548 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJexrv0CRBK7hj4Ov3rIwAAdHIIAIjeQTCEX/OlKfd3e1NmuO9e
 AdCj40vU1BmIgdR2JzyOefjJqCAkqoRVtYsR3/Fi/H7Db3lcLuB4+mvOVRca+F+z
 /9nTlo+2qgHZBjb+MWcMZq2kq6UXwEDyAWZlklfNpcSmyOVaHIE58nApr944BxrA
 vmYAB0j5Hy51nqCD37KYbNV1aBPy99/NGaLrfiQPzhDGTGFwR753b8M3jPdFHZn/
 XLKN0HSzo9AuCssUcmZfSsfyLc6BxZc1F68XsQ4uDQfyy5q6yOe4t72SukxqRXkh
 /enC8Pck+RBxNfzRrM0oW5nJQtMk+4vg5+ZFSADH8SiYGe5lL3H5NZuoQEn61xs=
 =/0bv
 -----END PGP SIGNATURE-----
 

Properly report what is installed in "emsdk list" (#505)

This expands on #460 which added a file in each install dir
with the version, that lets us know not to re-download it. That
didn't integrate with is_installed, so it wasn't reported properly,
which this PR fixes.

With this we can remove a hack for python, as we can simply
not install anything if it's already installed (see line 1859).

Also add the "INSTALLED" indicators on the main listings in
"emsdk list".

Bug was reported in #477