Codium avec Platformio

Petit pense bête pour l'installation de Codium avec l'extension Platformio, histoire de jouer avec l'ESP32-Cam ;)

1- installer Codium :

Add the GPG key of the repository:

wget -qO - https://gitlab.com/paulcarroty/vscodium-deb-rpm-repo/raw/master/pub.gpg \
    | gpg --dearmor \
    | sudo dd of=/usr/share/keyrings/vscodium-archive-keyring.gpg

Add the repository:

echo 'deb [ signed-by=/usr/share/keyrings/vscodium-archive-keyring.gpg ] https://download.vscodium.com/debs vscodium main' \
    | sudo tee /etc/apt/sources.list.d/vscodium.list

Update then install vscodium:

sudo apt update && sudo apt install codium

2 - Petite étape intermédiaire :

sudo apt-get install python3-venv

3 - platformio :

Créer le fichier product.json dans le répertoire ~/.config/VSCodium

avec ce contenu :

{
  "extensionsGallery": {
    "serviceUrl": "https://marketplace.visualstudio.com/_apis/public/gallery",
    "cacheUrl": "https://vscode.blob.core.windows.net/gallery/index",
    "itemUrl": "https://marketplace.visualstudio.com/items",
    "controlUrl": "",
    "recommendationsUrl": ""
  }
}

ça devrait permettre l'installation de Platformio depuis le gestionnaire d'extensions.

4 - petits ajouts :

curl -fsSL https://raw.githubusercontent.com/platformio/platformio-core/master/scripts/99-platformio-udev.rules | sudo tee /etc/udev/rules.d/99-platformio-udev.rules

Redémarrer “udev” management tool :

sudo service udev restart

Et faire ceci avant de redémarrer la session linux :

sudo usermod -a -G dialout $USER
sudo usermod -a -G plugdev $USER