I made a script to easily work with the official development framework using docker (so no need to install anything). I drop it here in case there is someone interested:
https://github.com/nilp0inter/esp32env
Thank you!
P.S: Sorry for the spam, but I assumed that this is a valid topic for this forum.
