ESP32 list modules

[input]

I tried to list modules with :
import os
print dir (os)

But that doesn't seem to work. Is there a way to look which modules are available.
Another question is: is it possible to use something like "git clone"in the python promt.
I am really interesting in download files from the internet and I read that the 8266 have that with WebREPL.

I hope the Micropythondoc is coming soon online.

Thanks

[shaoziyang]

print(dir(os))

[input]

Thank you

Do you also know how to download files from the internet.

Thanks

[shaoziyang]

I have not try ESP32 module, download file maybe same as ESP8266.

You can refer to the following docs:

http://docs.micropython.org/en/latest/e ... k_tcp.html