Vous trouverez sur cette page un ensemble de ressources à destination des animateurs, des communes, des accueils collectifs de mineurs et des volontaires engagés dans le programme D-Codeur.

Celles-ci se constituent aussi bien de ressources pédagogiques que technique à destination des utilisateurs des Raspberry Pi commandés auprès de la fédération.

Aide et ressources Raspberry Pi

Restaurer un Raspberry Pi

Télécharger la version PDF

Pour restaurer le système de votre Raspberry Pi suivez les étapes suivantes (Attention : cela effacera l’ensemble des fichiers non sauvegardés de votre Raspberry Pi !)

  1. Télécharger l’image système
  2. Restaurer l’image système sur votre carte MicroSD
  3. Configurer le nom d’hôte et étendre le système de fichier

1. Télécharger l’image système

Vous pouvez télécharger l’image système contenant les outils D-Clics Numériques fournies par la Ligue de l’enseignement en suivant ce lien.

Vous pouvez également télécharger le “système brut” Raspbian Pixel fournies par la fondation Raspberry Pi.

Une fois l’image télécharger, décompresser le fichier .zip et conserver le fichier image (se terminant par .img).

2. Restaurer l’image système

Pour restaurer l’image système, sur Windows, utilisez le logiciel Win32DiskImager.

  • Ouvrez ce logiciel, puis sélectionner votre fichier image préalablement télécharger (1).
  • Sélectionnez votre carte MicroSD dans la liste des périphériques (2)
  • Lancez l’écriture de l’image (3)
    Cette étape peut prendre plusieurs dizaines de minutes
    Cette étape efface l’intégralité de votre carte MicroSD
    La carte doit avoir une capacité au moins égale à 16 Go

3. Terminer la configuration

Une fois l’écriture terminée, éjectez la carte MicroSD et insérez la dans votre Raspberry. Rebranchez le puis démarrez le système.

Connectez vous avec le compte administrateur (compte “pi” par défaut).

Ouvrez le logiciel de Configuration Raspberry Pi.

Dans la fenêtre principale, modifiez le nom d’hôte dans la rubrique Hostname.

Ouvrez le terminal (petite icône noir dans la barre des menus) puis tapez la commande suivante :

sudo raspi-config

Naviguez avec les flèches directionnelles du clavier jusque la catégorie “Advanced Options”, faites la touche entrée pour valider puis choisissez l’option “Expand Filesystem”.

Ce diaporama nécessite JavaScript.

Le processus se déroule puis vous pouvez redémarrer votre Raspberry Pi et l’utilisez.

Mettre un jour le Raspberry Pi

Télécharger la version PDF

  1. Connectez vous avec le compte administrateurs du Raspberry
  2. Ouvrez le terminal avec l’icône , l’invite de commande doit apparaître et ressembler à cela :
    pi@nom_du_raspberry:~ $
  3. Saisissez la commande suivante :
    sudo apt-get update
  4. Une fois la commande terminée, saisissez la commande suivante :
    sudo apt-get upgrade
  5. Une fois la commande terminée, vous pouvez fermer la fenêtre de terminal

Attention : les mises à jour peuvent prendre un certains temps, ne débranchez pas votre Raspberry Pi pendant le processus de mises à jour au risque de corrompre votre système d’exploitation et/ou vos fichiers.

Modifier les paramêtres d’affichages

Télécharger la version PDF

Avec un moniteur HDMI, les paramètres d’affichage par défaut détecte automatiquement la résolution et la fréquence adaptées au moniteur.

Lorsque vous utilisez un adaptateur HDMI-VGA, vous devez signifier ces paramètres qui ne seront pas détectés par défaut.

Lorsque l’affichage du Raspberry fonctionne

  1. Connectez vous en tant qu’Administrateur
  2. Ouvrez l’utilitaire de configuration du Raspberry Pi.
  3. Cliquez sur “Set Resolution”
  4. Choisissez la résolution choisie et validez

Lorsque l’écran est noir

Il faut éditer un des fichiers présents sur la carte MicroSD.

  1. Avec un lecteur de carte SD ou MicroSD, ouvrez le contenu de la carte mémoire du Raspberry sur un ordinateur
  2. Avec un éditeur de code comme Notepad ++, ouvrez le fichier config.txt à la racine de la carte MicroSD.
  3. Modifiez les lignes 27,28 et 29 comme décrit dans la liste ci-dessous
    Exemple :

    # uncomment to force a specific HDMI mode (this will force VGA)
    hdmi_group=2
    hdmi_mode=35

Listes des modes HDMI par groupe

N’utilisez que le groupe 2 si vous utilisez un écran VGA.

CEA (hdmi_group = 1)

HDMI_CEA_VGA = 1
HDMI_CEA_480p60 = 2
HDMI_CEA_480p60H = 3
HDMI_CEA_720p60 = 4
HDMI_CEA_1080i60 = 5
HDMI_CEA_480i60 = 6
HDMI_CEA_480i60H = 7
HDMI_CEA_240p60 = 8
HDMI_CEA_240p60H = 9
HDMI_CEA_480i60_4x = 10
HDMI_CEA_480i60_4xH = 11
HDMI_CEA_240p60_4x = 12
HDMI_CEA_240p60_4xH = 13
HDMI_CEA_480p60_2x = 14
HDMI_CEA_480p60_2xH = 15
HDMI_CEA_1080p60 = 16
HDMI_CEA_576p50 = 17
HDMI_CEA_576p50H = 18
HDMI_CEA_720p50 = 19
HDMI_CEA_1080i50 = 20
HDMI_CEA_576i50 = 21
HDMI_CEA_576i50H = 22
HDMI_CEA_288p50 = 23
HDMI_CEA_288p50H = 24
HDMI_CEA_576i50_4x = 25
HDMI_CEA_576i50_4xH = 26
HDMI_CEA_288p50_4x = 27
HDMI_CEA_288p50_4xH = 28
HDMI_CEA_576p50_2x = 29
HDMI_CEA_576p50_2xH = 30
HDMI_CEA_1080p50 = 31
HDMI_CEA_1080p24 = 32
HDMI_CEA_1080p25 = 33
HDMI_CEA_1080p30 = 34
HDMI_CEA_480p60_4x = 35
HDMI_CEA_480p60_4xH = 36
HDMI_CEA_576p50_4x = 37
HDMI_CEA_576p50_4xH = 38
HDMI_CEA_1080i50_rb = 39
HDMI_CEA_1080i100 = 40
HDMI_CEA_720p100 = 41
HDMI_CEA_576p100 = 42
HDMI_CEA_576p100H = 43
HDMI_CEA_576i100 = 44
HDMI_CEA_576i100H = 45
HDMI_CEA_1080i120 = 46
HDMI_CEA_720p120 = 47
HDMI_CEA_480p120 = 48
HDMI_CEA_480p120H = 49
HDMI_CEA_480i120 = 50
HDMI_CEA_480i120H = 51
HDMI_CEA_576p200 = 52
HDMI_CEA_576p200H = 53
HDMI_CEA_576i200 = 54
HDMI_CEA_576i200H = 55
HDMI_CEA_480p240 = 56
HDMI_CEA_480p240H = 57
HDMI_CEA_480i240 = 58
HDMI_CEA_480i240H = 59
HDMI_CEA_720p24 = 60
HDMI_CEA_720p25 = 61
HDMI_CEA_720p30 = 62
HDMI_CEA_1080p120 = 63
HDMI_CEA_1080p100 = 64

DMT (hdmi_group = 2)

HDMI_DMT_640x350_85 = 0x1, /**<640x350 */
HDMI_DMT_640x400_85 = 0x2, /**<640x400 */
HDMI_DMT_IBM_VGA_85 = 0x3, /**<720x400 */
HDMI_DMT_VGA_60 = 0x4, /**<640x480 (60Hz is same as VGA in CEA above) */
HDMI_DMT_VGA_72 = 0x5
HDMI_DMT_VGA_75 = 0x6
HDMI_DMT_VGA_85 = 0x7
HDMI_DMT_SVGA_56 = 0x8, /**<800x600 */
HDMI_DMT_SVGA_60 = 0x9
HDMI_DMT_SVGA_72 = 0xA
HDMI_DMT_SVGA_75 = 0xB
HDMI_DMT_SVGA_85 = 0xC
HDMI_DMT_SVGA_120 = 0xD
HDMI_DMT_848x480_60 = 0xE, /**<848x480 */
HDMI_DMT_XGA_43 = 0xF, /**<1024x768 – interlaced, DO NOT USE */
HDMI_DMT_XGA_60 = 0x10, /**<1024x768 */
HDMI_DMT_XGA_70 = 0x11
HDMI_DMT_XGA_75 = 0x12
HDMI_DMT_XGA_85 = 0x13
HDMI_DMT_XGA_120 = 0x14
HDMI_DMT_XGAP_75 = 0x15, /**<1152x864 */
HDMI_DMT_WXGA_RB = 0x16, /**<1280x768 reduced blanking */
HDMI_DMT_WXGA_60 = 0x17
HDMI_DMT_WXGA_75 = 0x18
HDMI_DMT_WXGA_85 = 0x19
HDMI_DMT_WXGA_120 = 0x1A, /**<120Hz with reduced blanking */
HDMI_DMT_1280x800_RB = 0x1B, /**<1280x800 reduced blanking */
HDMI_DMT_1280x800_60 = 0x1C
HDMI_DMT_1280x800_75 = 0x1D
HDMI_DMT_1280x800_85 = 0x1E
HDMI_DMT_1280x800_120 = 0x1F, /** reduced blanking */
HDMI_DMT_1280x960_60 = 0x20, /**<1280x960 */
HDMI_DMT_1280x960_85 = 0x21
HDMI_DMT_1280x960_120 = 0x22, /** reduced blanking */
HDMI_DMT_SXGA_60 = 0x23, /**<1280x1024 */
HDMI_DMT_SXGA_75 = 0x24
HDMI_DMT_SXGA_85 = 0x25
HDMI_DMT_SXGA_120 = 0x26, /** reduced blanking */
HDMI_DMT_1360x768_60 = 0x27, /**<1360x768 */
HDMI_DMT_1360x768_120 = 0x28, /**<120 Hz with reduced blanking */
HDMI_DMT_SXGAP_RB = 0x29, /**<1400x1050 reduced blanking */
HDMI_DMT_SXGAP_60 = 0x2A
HDMI_DMT_SXGAP_75 = 0x2B
HDMI_DMT_SXGAP_85 = 0x2C
HDMI_DMT_SXGAP_120 = 0x2D, /** reduced blanking */
HDMI_DMT_1440x900_RB = 0x2E, /**<1440x900 reduced blanking */
HDMI_DMT_1440x900_60 = 0x2F
HDMI_DMT_1440x900_75 = 0x30
HDMI_DMT_1440x900_85 = 0x31
HDMI_DMT_1440x900_120 = 0x32, /** reduced blanking */
HDMI_DMT_UXGA_60 = 0x33, /**<1600x1200 60Hz */
HDMI_DMT_UXGA_65 = 0x34
HDMI_DMT_UXGA_70 = 0x35
HDMI_DMT_UXGA_75 = 0x36
HDMI_DMT_UXGA_85 = 0x37
HDMI_DMT_UXGA_120 = 0x38, /** reduced blanking */
HDMI_DMT_SWXGAP_RB = 0x39, /**<1680x1050 reduced blanking */
HDMI_DMT_SWXGAP_60 = 0x3A, /**<1680x1050 60Hz */
HDMI_DMT_SWXGAP_75 = 0x3B
HDMI_DMT_SWXGAP_85 = 0x3C
HDMI_DMT_SWXGAP_120 = 0x3D, /** reduced blanking */
HDMI_DMT_1792x1344_60 = 0x3E, /**<1792x1344 60Hz */
HDMI_DMT_1792x1344_75 = 0x3F, /**<1792x1344 75Hz */
HDMI_DMT_1792x1344_120 = 0x40, /** reduced blanking */
HDMI_DMT_1856x1392_60 = 0x41, /**<1856x1392 60Hz */
HDMI_DMT_1856x1392_75 = 0x42, /**<1856x1392 75Hz */
HDMI_DMT_1856x1392_120 = 0x43, /** reduced blanking */
HDMI_DMT_WUXGA_RB = 0x44, /**<1920x1200 reduced blanking */
HDMI_DMT_WUXGA_60 = 0x45, /**<1920x1200 60Hz */
HDMI_DMT_WUXGA_75 = 0x46, /**<1920x1200 75Hz */
HDMI_DMT_WUXGA_85 = 0x47, /**<1920x1200 85Hz */
HDMI_DMT_WUXGA_120 = 0x48, /** reduced blanking */
HDMI_DMT_1920x1440_60 = 0x49, /**<1920x1440 60Hz */
HDMI_DMT_1920x1440_75 = 0x4A, /**<1920x1440 75Hz */
HDMI_DMT_1920x1440_120 = 0x4B, /** reduced blanking */
HDMI_DMT_2560x1600_RB = 0x4C, /**<2560x1600 reduced blanking */
HDMI_DMT_2560x1600_60 = 0x4D, /**<2560x1600 60 Hz */
HDMI_DMT_2560x1600_75 = 0x4E, /**<2560x1600 75 Hz */
HDMI_DMT_2560x1600_85 = 0x4E, /**<2560x1600 85 Hz */
HDMI_DMT_2560x1600_120 = 0x50, /** reduced blanking */
HDMI_DMT_1366x768_60 = 0x51, /**<1366x768 60Hz */
HDMI_DMT_1080p_60 = 0x52, /**

Aide et ressources D-Codeurs