Il y a plusieurs manières de configurer votre Raspberry Pi :
La connexion par point d'accès Wifi n'est accessible que si vous disposez de notre Kit ou de la carte QuickPi, car elle se fait via le menu intégré.
Dans le sous-menu configuration, activez l'acton "Start access point".
Un point d'accès Wifi est alors créé par le Raspberry Pi. Son nom est affiché à l'écran. Le mot de passe est "France-ioi" si vous ne l'avez jamais modifié vous mêmes.
Depuis votre ordinateur, tablette ou mobile, vous pouvez après quelques instants, visualisez le point d'accès wifi ansi créé, dans la liste des réseaux Wifi disponibles.
Sélectionnez-le et entrez le mot de passe "France-ioi". Vous êtes alors automatiquement redirigés vers un portail captif, qui présente l'interface web de configuration de votre kit (voir plus bas).
Lorsque vous êtes connecté à ce point d'accès, l'adresse IP du Raspberry Pi est 192.168.233.3. C'est cette IP qui est chargée automatiquement dans le navigateur par le portail captif.
Si pour une raison ou une autre vous ne pouvez pas passer par le point d'accès wifi. Il est possible de se connecter par USB, grâce au système de "Ethernet par USB" qui est préconfiguré sur le Raspberry Pi du kit, et sur l'image d'OS que nous fournissons.
Branchez bien votre cable USB sur le port de données du Raspberry Pi, qui est celui qui se trouve le plus proche du centre. Celui situé vers l'extérieur ne peut servir qu'à l'alimentation.
Saisissez alors l'adresse IP 192.168.233.1 dans votre navigateur, l'interface de configuration devrait alors s'afficher.
Si rien ne s'affiche, même rechargeant la page un peu plus tard, c'est que votre ordinateur n'est pas configuré pour gérer l'ethernet par USB. Un driver doit être installé. TODO: link to page explaining how to install it on various OSes.
Notez que si vous avez accès au menu via la carte QuickPi, vous pouvez vérifier si la connexion Ethernet par USB fonctionne, en allant dans le menu du Raspberry : Configuration -> Show IP Address.
Il est possible de relier le Raspberry Pi Zero à votre réseau par un cable Ethernet câblé en branchant un adaptateur micro-usb vers Ethernet, sur le port micro-usb data de votre Raspberry Pi Zero (le plus proche du centre). Si par contre vous utilisez un Raspberry Pi 3 ou 4, pas besoin d'adaptateur, il y a déjà un port Ethernet.
En supposant que votre réseau est configuré en dhcp (le plus courant), une adresse IP sera automatiquement affectée à votre Raspberry Pi. Vous pouvez la trouver dans le menu Configuration -> Show IP Address, indiquée comme de type "Cable".
Depuis un ordinateur branché sur le même réseau local, et en supposant que celui-ci ne bloque pas la communication directe entre les machines, vous pouvez simplement taper cette ip dans votre navigateur pour accéder à la page de configuration. Dans le cas contraire, contactez votre administrateur. Notez que l'adresse Mac du Raspberry Pi est disponible dans le menu Configuration -> Show MAC Address".
Si vous ne parvenez pas à utiliser le point d'accès ni à faire fonctionner l'Ethernet par USB depuis votre ordinateur, vous pouvez effectuer la configuration en éditant le fichier depuis la carte micro-SD. Voir les explications.
L'interface de configuration est accessible depuis votre ordinateur, que le Raspberry Pi soit connecté par USB, point d'accès wifi, ou via votre réseau wifi ou ethernet si la configuration de votre réseau le permet, simplement en mettant son adresse IP dans le navigateur.
Commencez par choisir un identifiant pour votre établissement. Il doit s'agir d'un texte plutôt court, facile à retenir mais unique. Choisissez aussi un petit nom pour l'appareil lui-même. Vous pouvez par exemple les numéroter si vous en avez plusieurs.
Si vous n'avez pas de réseau wifi ou ne pouvez vous y connecter, consulter la section "Que faire en l'absence de réseau Wifi ?" en bas de ce document.
Pour connecter le Raspberry Pi à votre réseau Wifi, vous devez indiquer le SSID, c'est à dire le nom du réseau et le mot de passe de ce réseau. Le bouton SCAN à droite du champ SSID permet de détecter automatiquement les noms des réseaux visibles, pour vous permettre de choisir le votre dans la liste qui apparaît alors.
Cette section s'applique au cas d'une connexion Wifi, mais également si vous avez utilisé un adapatateur Ethernet.
La plupart des réseaux attribuent automatiquement les addresses IP aux machines connectées, via le protocole DHCP. C'est le cas de la plupart des réseaux wifi, en particulier celui que vous avez probablement à la maison.
Si vous n'êtes pas dans ce cas, ce qui est plus probable dans un établissement scolaire, l'accès est restreint à certaines adresses IP voire à certains appareils, via leur adresse MAC. L'administrateur système doit alors attribuer une adresse IP au Raspberry PI, et/ou autoriser l'accès à son adresse MAC.
Une fois que vous aurez attribué une adresse IP fixe à votre Raspberry Pi, vous pourrez cocher la case "Static IP configuration" et fournir en dessous l'adresse IP, le masque de sous-réseau, l'IP du serveur DNS, et l'IP de la passerelle (gateway) par défaut de votre réseau, fournies par votre administrateur réseau.
Notez que l'adresse Mac du Raspberry Pi est disponible depuis celui-ci (si vous avez la carte QuickPi) dans le menu Configuration -> Show MAC Address.
Si votre accès à internet nécessite de passer par un proxy, vous pouvez le configurer juste en dessous.
Vous pouvez fournir l'adresse IP et le port du Proxy, et le cas échéant, fournir l'utilisateur et le mot de passe.
Vous pouvez ensuite choisir d'activer ou non la connexion par bluetooth. Laissez la désactivée si vous ne prévoyez pas de l'utiliser.
Certains réseaux sont configurés pour bloquer la connexion directe entre plusieurs machines de ce réseau. C'est souvent le cas dans les établissements scolaires.
Pour ces situations, nous avons mis en place un système de tunnel http. Le principe est que votre navigateur et le Raspberry passent par les serveurs de France-ioi pour communiquer entre eux. Bien sûr ceci ne fonctionne que si un accès internet est disponible.
Si vous êtes dans ce cas, et uniquement dans ce cas, cochez la case "Connect through France-ioi servers". Dans le doute, vérifiez d'abord si cela fonctionne sans.
Lorsque vous enregistrez la configuration, l'interface vous indique que le Raspberry Pi va redémarrer. Il doit en effet redémarrer pour pouvoir tenir compte de la nouvelle configuration.
Allumez le Raspberry, et attendez une petite minute pour être sûr qu'il a bien démarré.
Si vous disposez de notre Kit ou simplement de la carte QuickPi, vous pouvez vérifier que la connexion fonctionne de deux manières.
Allez dans le menu Configuration -> Show IP Address. Vérifiez que la liste contient une ligne wifi, et obtenez ainsi l'adresse IP Wifi de votre Raspberry Pi, et par exemple la mettre dans votre navigateur pour vérifier qu'elle donne accès à l'interface de configuration.
Vous pouvez aussi tester la procédure de mise à jour, c'est le bon moment pour vous assurer que vous avez bien la dernière versio. Allez pour cela dans le menu Configuration -> Check for updates.
Si vous ne disposez pas de notre carte QuickPi, vous pouvez vérifier le statut de connexion de votre Raspberry Pi depuis l'environnement de programmation. Dans l'onglet Wifi de cet environnement, indiquez l'identifiant choisi pour votre établissement, puis cherchez dans la liste qui apparaît, le nom que vous avez attribué à votre Raspberry Pi. S'il y est, c'est qu'il a bien accès au Wifi, et vous pouvez alors le sélectionner et obtenir son adresse IP.
Si cela ne fonctionne pas, recommencez la procédure, et vérifiez bien les paramètres de votre configuration, votre SSID, mot de passe, etc.
Cet onglet permet de récupérer le contenu de fichiers de logs sur le Raspberry Pi, qui peuvent servir pour diagnostiquer certains soucis potentiels, en particulier côté réseau. Il est plutôt fait pour les initiés à linux.
Cet onglet permet de mettre à jour le logiciel du raspberry Pi avec la dernière version.
Si votre Raspberry Pi est connecté à internet, notamment une fois le wifi configuré, la mise à jour peut se faire directement via le menu de la carte. Par contre lorsque votre Raspberry est connecté par USB, ou par le point d'accès il n'a pas accès à internet et ne peut donc pas se mettre lui-même à jour. Vous devez donc passer par cette interface.
Si vous êtes connecté au Raspberry Pi via usb ou via votre réseau wifi, votre machine peut avoir internet en même temps, êtes a la fois pouvez simplement cliquer sur "Check for update now".
Il est aussi possible de télécharger la dernière mise à jour lorsque vous êtes connecté à internet, et de la fournir pour mettre à jour le Raspberry Pi, dans le cas où vous êtes connecté à celui-ci, par son point d'accès, donc n'avez pas internet en même temps.
Il est important de mettre régulièrement à jour votre Raspberry Pi.
La page de configuration du Raspberry Pi du kit contient, accessible depuis son onglet "Programmation", l'environnement de programmation en mode projet libre, disponible dans chacun des trois langages Scratch, Blockly et Python. Vous pouvez donc directement le programmer via les liens fournis dans cet onglet.
Pour accéder aux parcours d'exercices, allez par contre sur quick-pi.org.
Si vous n'avez pas de réseau Wifi ou êtes dans l'impossibilité de connecter votre Raspberry Pi à ce réseau du fait de restrictions, vous disposez de plusieurs possibilités :
Vous pouvez connecter votre Raspberry Pi à un réseau filaire Ethernet, grâce à un adaptateur micro-usb vers Ethernet.
Nous avons testé cet adaptateur (et quelques autres), il fonctionne avec QuickPi.
Si votre réseau ethernet est configuré pour attribuer automatiquement les IPs aux appareils qui s'y connectent, vous avez simplement à le brancher. Vous pourrez alors trouver l'adresse IP qui lui a été attribuée depuis le menu Configuration -> Show IP Address
Notez qu'une opération de la part de votre administrateur réseau peut être nécessaire pour autoriser le Raspberry Pi à s'y connecter. Notez que l'adresse Mac est disponible depuis le menu Configuration -> Show Mac Address
Si votre réseau restreint les accès directs entre machines, ou que votre ordinateur est sur un autre sous-résau, il faudra activer le mode "Connexion via les serveurs France-ioi" pour pouvoir accéder au Raspberry Pi directement depuis votre navigateur.
Si vous avez un réseau filaire Ethernet auquel vous pouvez vous connecter, vous pouvez créer votre propre point d'accès Wifi, en achetant un appareil que comme point d'accès bon marché TL-MR3020, que nous avons validé pour cet usage.
Branchez ce boîtier à une source de courant, placez le bouton sélecteur sur la position AP et connectez-le à votre réseau avec le câble fourni.
Un réseau wifi sera créé, dont le nom (SSID) et le mot de passe (KEY) sont imprimés sur le côté du boîtier, ou fournis dans la documentation de celui-ci.
Vous pouvez connecter votre Raspberry Pi à votre ordinateur par USB comme expliqué plus haut sur cette page.
Vous pourrez alors programmer votre Raspberry Pi depuis votre navigateur, mais vos programmes ne pourront pas se connecter à internet.
Vous pouvez programmer votre Raspberry Pi directement en vous connectant à son point d'accès Wifi, comme expliqué plus haut pour l'accès à la page de configuration.
Vous n'aurez cependant plus internet pendant que vous programmez votre Raspberry Pi, et n'aurez pas accès aux parcours d'exercices en ligne.