Changes between Version 23 and Version 24 of IOC_T06

Timestamp:

Mar 19, 2026, 9:58:51 PM (7 months ago)

Author:

franck

Comment:

--

IOC_T06

@@ -47 +47 @@
 
 Que vous soyez sur votre ordinateur personnel ou sur une des machines du réseau, les modules ESP32 ne sont pas disponibles par défaut dans l'IDE Arduino, il faut les ajouter. Vous allez vous rendre compte qu'il y a fréquemment des problèmes de version. En effet, il faut que les bibliothèques Arduino installées soient compatibles avec le matériel. Vous allez produire du code sur la machine hote (qui tourne l'IDE) et exécuter ce code sur une boad ESP32 (ici TTGO-Lora-OLED V1). Parfois, ça ne marche pas bien, voire pas du tout, parce qu'on ne prends pas les bonnes versions, mais on finit par trouver la bonne combinaison.\\
+
+Sur les machines des salles de TP, vous allez avoir un autre problème, le quota d'espace disque de vos compte. l'installation des bibliothèques prend de la place, il faudra travailler sur /dsk/l1/misc/ 
+
 Voici la procédure à suivre pour ajouter les gestionnaires de cartes à base d'ESP32 :
 
-* Lancer `Arduino` 
+* Effacer le répertoire `$HOME/.arduino15` de votre compte
+{{{#!c
+mv $HOME/.arduino15 $HOME/.arduino15.old
+}}}
+* Créer un répertoire `login-name/aruino15` dans /dsk/l1/misc (**remplacer login-name par votre nom de login**)
+{{{#!c
+mkdir /dsk/l1/misc/login-name 
+mkdir /dsk/l1/misc/login-name/arduino15 
+}}}
+* Créer un lien symbolique de `$HOME/.ardino15` vers `/dsk/l1/misc/login-name/arduino`
+{{{#!c
+ln -s /dsk/l1/misc/login-name/arduino15 $HOME/.arduino15 
+}}}
+* Lancer `Arduino` sur un terminal
 * Cliquer sur `Fichier > Préférences`
 * Dans `URL de gestionnaire de cartes supplémentaires`, écrire :[[BR]]
@@ -58 +74 @@
 * Écrire dans la fenêtre de recherche : `esp32`
 * Choississez la bibliothèque de Espressif (la société créatrice de l'ESP32)
-* Sélectionner la version 2.0.17 (ou inférieure).
+* Sélectionner la version 1.0.6 (c'est ancien mais les cartes ESP32 ont quelques années).
 * Cliquer sur `Installer`
-* Attendre l'installation (ça peut être long et cela prend de la place dans le répertoire $HOME/.arduino, vous risquez de dépasser votre quota et donc vous devrez peut-être faire du ménage)
+* Attendre l'installation (ça peut être long et cela prend de la place dans le répertoire $HOME/.arduino qui est maintenant sur /dsk/l1/misc)
 * Cliquer sur `Fermer`
-
-Sur les machines du Labo, il y a un problème de quota. Voici les packages téléchargés, on peut utiliser `/dsk/l1/misc` ...
-- Le [htdocs:files répertoire] contient package eps32.tgz et le json du package.
-- Vous pouvez tester le composant ESP32 en exécutant quelques exemples de tutoriaux (décrivez succinctement ce que vous avez fait dans le CR). Les exemples sont accessibles
 
 **Les documents utiles se trouvent**