Téléchargement de l'image

Rendez-vous sur https://www.raspberrypi.org/software/operating-systems/ et téléchargez Raspberry Pi OS Lite en version zip.

On prend la version lite car on ne va pas utiliser l’interface graphique du rapsberry (interface avec une souris) : on va continuer à utiliser l’invite de commande (aussi appelée shell) dans sa version bash.

Installer RASPBIAN sur la carte micro-sd

On a le système d’exploitation Raspbian qui est dans notre fichier zip sur votre ordinateur. Il faut maintenant l’écrire sur la carte SD après avoir extrait du zip le fichier image (fichier d'extension img).

On ne peut pas faire un simple copier/coller : les fichiers linux sont organisés de façon différentes par rapport aux fichiers Windows. On va devoir flasher la carte.

Rendez-vous sur le site https://etcher.io/ et téléchargez le logiciel.

Grace à ce dernier vous allez pouvoir flasher la carte sd. Remarque : cela prend quelques minutes et il y a une étape de « Validating » où etcher vérifie que le flashage s’est bien passé. Une fois fini, débrancher la clef.

Attendez 5 secondes, rebranchez là : cela va forcer Windows à revérifier le contenu de la carte mémoire.

Dans votre explorateur de fichier, vous allez voir un ou deux nouveaux disques. Celui qui nous intéresse est celui s’appelant « boot ».

En fait : la carte mémoire a été partitionnée. C'est à dire divisée « logiciellement » en deux sous espaces logiques. L’un s’appelle boot et est lisible par Windows et linux. L’autre n’a pas de nom imposé et est illisible par Windows : si vous essayez d’y accéder, windows vous demandera de le formater. REFUSEZ.

La partition boot a été mise en place par Raspbian pour permettre d’éditer depuis Windows des fichiers de configuration de Raspbian. On va pouvoir, par exemple, configurer le ssh et le wifi dès à présent depuis Windows.

Editer / Créer des fichiers Unix

Pour faire cela, vous allez avoir besoin sous windows d'un éditeur de text capable de manipuler des fichier texte au format Unix. On se propose d'utiliser Notepad++ téléchargeable sur https://notepad-plus-plus.org/downloads/. Après installation, lancez-le.

Créez un nouveau fichier dans Notepad++ et dans le menu Edition aller sur l'item "Convertir les sauts de lignes" et sélectionnez "Convertir au format unix (LF)". Il faudra toujours procéder ainsi lors de la création de chaque fichier devant être au format unix.

Pour demander à RASPBIAN l'activation du serveur SSH au démarrage, il faut créer un fichier vide simplement nommé "ssh" (sans extension). Donc enregistrez sous boot le fichier en choisissant l'option "all types" (vérifiez l'image ci-dessous) avec le nom (EXACTEMENT CE NOM-là AVEC LES GUILLEMETS) : "ssh"

Pour dire au Raspberry Pi de se connecter automatiquement à votre réseau Wi-Fi, vous devez éditer un fichier appelé : wpa_supplicant.conf.

Dans ce fichier, on va indiquer le SSID et la PSK (PreShareKey) du Wi-Fi que le professeur vous a indiqué à la place des points de suspension.

network={
ssid="..."
psk="..."
}
	

Lors du prochain boot du raspberry PI avec cette carte SD, le fichier sera déplacé par Raspbian vers la partition unix (dans /etc/wpa_supplicant/wpa_supplicant.conf)

Editer/accéder aux fichiers de configuration Linux

Comme les fichiers linux sont organisés de façon différentes par rapport aux fichiers Windows, il faut télécharger un logiciel spécifique pour pouvoir accéder aux fichiers de configuration Linux afin de les modifier.

Allez sur https://www.paragon-software.com/home/linuxfs-windows/, et installez le.

Une fois fini, vous allez voir la partition « rootfs » dans votre explorateur de fichier et ainsi pouvoir éditer avec notepad++ les fichiers de cette partition.

Dans le dossier interfaces, ajoutez les lignes suivantes pour dire au Raspberry Pi d'autoriser wlan (connexion sans fils) comme méthode de connexion réseau et utilisez /etc/wpa_supplicant/wpa_supplicant.conf comme fichier de configuration. Depuis rootfs, naviguer dans: etc -> network -> interfaces >> Ouvrez « interfaces » avec Notepad++ PAS DE COPIER COLLER !!!!! Et tapez dedans les lignes suivantes :

auto wlan0
allow-hotplug wlan0
iface wlan0 inet dhcp
wpa-conf /etc/wpa_supplicant/wpa_supplicant.conf
iface default inet dhcp
	

Maintenant quittez Notepad++, demandez à Windows d'éjecter la carte, débranchez la carte SD du PC, et branchez-la dans le Raspberry PI, puis alimenter le Raspberry.
Remarque : toujours couper l'alimentation du Raspberry AVANT de mettre ou retirer la carte SD (ou plus tard le hat "GrovePI" ou tout autre hat).

Téléchargement de Raspberry PI Imager

Rendez-vous sur https://www.raspberrypi.org/software/ et choisissez la version pour le système d'exploitation de votre ordinateur (MAC, Windows, Linux)

Puis installez le logiciel et lancez l'application.

Configuration de Raspberry PI Imager

Sur votre clavier et dans l’application tapez "ctrl + shift + x" pour afficher les options de configuration avancées :

• Choisissez "To always use" dans "Image Customization options"
• Cochez la case "Enable SSH" pour activer la connexion sécurisée à distance
• Choisissez "Use password authentification" et indiquer le mot de passe par défaut "raspberry". Et surtout mettre comme login "pi" pour pouvoir utiliser un module "GrovePi" ensuite.
• Descendez dans la fenêtre via le scroller
• Cochez la case "Configure WiFi" et mettez le ssid "JUNIA_LAB" et son mot de passe que vous connaissez déjà.
• Dans "WiFi country" choisissez "Fr" pour France
• Appuyez sur "Save" pour sauvegarder.

Flashage de la carte SD

Choix de l'image dans la solution standard

Cliquez sur le bouton pour choisir l’OS :

• Choisissez "Raspberry Pi OS (other)"
  • Choisissez "Raspberryi Pi OS Lite (Legacy)"

on prend la version lite car on ne va pas utiliser l’interface graphique du Raspberry (interface avec une souris) : on va continuer à utiliser l’invite de commande (aussi appelée shell) dans sa version bash.

Choix de la cible

Insérez la carte SD dans votre ordinateur via l’adaptateur USB fourni et choisissez le stockage dans la liste de l’imager (après avoir cliquer sur le bouton)

Lancez le flashage

Cliquez sur le bouton "Ecrire" puis confirmez la suppression des données en cliquant sur "Oui".

(L'image est téléchargée automatiquement, puis écrite sur la carte SD, puis vérifiée et enfin configurée suivant le paramètrage choisi : SSH, WiFi, ...)

Une fois terminé, débranchez la carte SD du PC, et branchez-la dans le Raspberry, puis alimenter le Raspberry.
Remarque : toujours couper l'alimentation du Raspberry AVANT de mettre ou retirer la carte SD (ou plus tard le hat "GrovePI" ou tout autre hat).

On peut maintenant se connecter via SSH à notre Raspberry PI en utilisant le WiFi JUNIA_LAB comme détaillé plus bas.