Post Ai60GyoeZrtg8bJMOW by martin@maciaszek.social
(DIR) More posts by martin@maciaszek.social
(DIR) Post #Ai60Gy5zFwATu4Pgm0 by martin@maciaszek.social
2024-04-26T20:08:57Z
0 likes, 0 repeats
How does #ESPIDF development with devcontainers work? I tried setting up the hello_world example but it didn't make sense.Here's what happened. After pulling the docker image #VSCode reopened the project in the devcontainer. So far this is the regular devcontainer experience. It then asks me which ESP-IDF to use. And shows a list of my _locally_ installed ESP-IDFs. Why?
(DIR) Post #Ai60GyoeZrtg8bJMOW by martin@maciaszek.social
2024-04-26T20:15:26Z
0 likes, 0 repeats
OK, I'll play along and choose one of the offered ESP-IDFs. It then just errors out with a “spawn /bin/sh NOENT” and dumps me into a ESP-IDF Setup screen.I choose advanced setup and get a choice which version of ESP-IDF to install... into my _local_ home directory???That's not how it's supposed to work, right?
(DIR) Post #Ai60Gzq6lwefJP02Ii by martin@maciaszek.social
2024-04-26T21:17:50Z
0 likes, 0 repeats
I've been googling how this is supposed to work. I noticed that my settings.json contained a lot of settings that most people on the web didn't have. Looks like the new project wizard thingy is a bit too overzealous with the settings it creates.All the highlighted settings (see screenshot) were absent in other people's examples.I removed these lines the ESP-IDF Setup actually displayed paths that were _inside_ the container and I was able to install ESP-IDF...
(DIR) Post #Ai60H2fEGqje4WvtGC by martin@maciaszek.social
2024-04-26T21:24:12Z
0 likes, 0 repeats
Next hurdle was installing ESP-IDF tools. The setup wizard tries to download the tools to /opt/esp/dist as a non-root user. That directory does not exist though, so it fails.I had to enter the container and create the directory and set permissions manually.Now the tools all got downloaded successfully, but...