Hi, radurentea.

Thanks for the reply.
I'm off snowboarding for a week.
I'll come back and check again.
Have a nice day.

In short, I spent three days researching Theia and esp-idf.
My conclusions (possibly erroneous) are as follows:
1. Espressif, either intentionally or by mistake, prevents the framework from being installed in Russia.
If I choose to install from their servers, it freezes during the tools installation ...

Update.
If I:

Install esp-idf from the command line according to the espressif documentation
https://docs.espressif.com/projects/esp-idf/en/stable/esp32/get-started/linux-macos-setup.html
Then install the esp-idf extension version 1.9.1 in theia and configure it with the already installed ...

Easy installation doesn't work for me because the download from the default server gets stuck.
If I select custom install, all default parameters, and GitHub servers, the installation completes.
ESP-IDF Installation Manager(EIM)_001.png
But in Theia (VScode), I can't select the idf version. It ...

It turns out the adventure wasn't over.
I decided to install the esp-idf framework for MS Code in a different directory.
I used esp_config.toml from the espressif documentation.

path = "/opt/esp"
idf_path = "/opt/esp/v5.5/esp-idf"
esp_idf_json_path = "/opt/esp/tools"
tool_download_folder_name ...

It was my mistake.

1. I uninstalled Theia.
In doing so, I deleted the remaining configuration files—the directories
.theia-ide
.cache/theia-ide-electron-app-updater
.config/Theia IDE
2. I copied TheiaIDE.AppImage again.
3. I installed the latest extensions:
esp-idf-extension-2.0.2.vsix
vscode ...

Hello everyone.
I'm using esp-idf on Linux Mint.
$ lsb_release -a
No LSB modules are available.
Distributor ID: Linuxmint
Description: Linux Mint 22.2
Release: 22.2
Codename: zara
I installed theia IDE .
I'm from Russia, and access to the marketplace is blocked.
I downloaded and installed
esp-idf ...

TheiaIDE

in eim 0.5.7 the same

Hi.
OS Linux Mint 22.2
IDE Theia (VS Code)
ESP-IDF Installation Manager 0.5.2?

I specify the /opt/esp directory for install.
esp-idf is installed there.
But tools are installed in the ~$HOME/.espressif directory.
How can I install tools in /opt/esp/tools?