Jeff EGRIX


Administrateur réseau dans un établissement scolaire. Ayant enseigné pendant 20 ans, je m'intéresse également aux projets pédagogiques liés à l'informatique libre. Ici particulièrement le Raspberry Pi


  1. Actualité du Raspberry Pi


  2. Un média center sur votre Raspberry PI

    On peut s'équiper du Raspberry uniquement pour cette utilisation branché sur votre téléviseur. Voici ce que vous pouvez obtenir : Comment l'installer sur votre Raspbian? Créez et éditez le fichier mene.list sudo leafpad /etc/apt/sources.list.d/mene.list Copiez y la ligne suivante : deb http://archive.mene.za.…


  3. Se connecter en ssh sur le Raspberry

    Activation du SSH SSH est maintenant activé par défaut sur les nouvelle version de Raspbian Ouvrez un terminal sur votre RPI et tapez sudo raspi-config Il ne vous reste plus qu'à vous connecter à partir d'un ordinateur sous Linux, Mac ou Windows. Sous Mac et Linux : Ouvrez un terminal et…


  4. Exemple d'animation avec Scratch

    Voici ce qu'il est possible de réaliser en quelques minutes. Sur une image que j'ai choisi, je veux faire évoluer Bowser (personnage du jeu Mario) de gauche à doite de l'écran faisant les 100 pas après avoir cliqué sur la barre d'espace! Nous allons voir comment réaliser cette animation en…


  5. Les projets d'écoles mis en place

    Projet PiClasse en Suisse Le Raspberry s'invite à l'école primaire Le Raspberry Pi file à l’anglaise…


  6. Comment installer un logiciel graphiquement sur notre Raspberry ?

    Il y a plusieurs manières d'installer un logiciel sur le Raspberry : en ligne de commande avec un logiciel graphique (synaptic) avec l'installeur de paquet (gdebi) La ligne de commande : Pour installer un logiciel en ligne de commande il suffit de taper une ligne du type sudo apt-get update Pour mettre…


  7. Monter un serveur ftp sur le Raspberry Pi

    Dans un terminal, une petite mise à jour de votre Raspbian : sudo apt-get update Puis on installe vsftpd sudo apt-get install vsftpd Editez le fichier /etc/vsftpd.conf sudo leafpad /etc/vsftpd.conf (vsftpd.conf est le fichier de configuration de VSFTPD) Pour commencer, modifier les lignes suivantes, soit en…


  8. Prise en main à distance de votre Raspberry avec VNC

    Pourquoi prendre à distance votre Raspberry? Vous souhaitez faire tourner un service en permanence (serveur ftp, serveur de cloud, etc). Il peut tourner sans clavier ni souris (simplement branché sur votre box par exemple) et vous pouvez le prendre en main à distance de chez vous ou de tout autre…


  9. Pour faire fonctionner votre Raspberry Pi

    Vous aurez besoin des accessoires suivants : Une carte mémoire micro SD : cette carte va contenir le système d'exploitation du Raspberry Pi, il ne pourra donc pas démarrer sans cette dernière. Prendre une carte de 8 Giga de class 4 minimum Une alimentation micro USB externe 5 volts (V) et 700…


  10. Un boitier Pour mon Raspberry Pi

    On peut imaginer des boitiers pour integrer ma carte Raspberry. En voici quelques uns glanés sur le net.…


  11. Qu'est-ce que le Raspberry Pi ?

    C'est sans doute l'ordinateur le moins cher au monde puisqu’il ne coûte que 35€ dans sa dernière version « B+ ». C'est une carte électronique de la taille d'une carte de crédit (processeur 700Mhz, 512Mo de RAM et intégrant ports USB, HDMI, microSD, audio et vidéo). Elle permet d’utiliser les…


  12. Mettre l'image Raspbian sur la carte SD du Raspberry depuis Windows?

    Pour commencer : Téléchargez l'image de Raspbian ici Telechargez Win32 Disk Imager ici et l'installer Decompressez le fichier et demarrez le. Vous devriez obtenir cela: Sur le petit repertoire représenté, choisissez le fichier de l'image Raspbian téléchargée. Insérez la carte MicroSD à notre PC et choisir sa lettre correspondante , puis cliquez…


  13. Mettre l'image Raspbian sur la carte SD du Raspberry depuis Linux Mint?

    Pour commencer : Téléchargez l'image de Raspbian ici Allez dans votre dossier téléchargement et en extraire le contenu (extraire ici avec le bouton droit) Inserer votre carte SD dans votre PC sous Linux Mint Sur l'image extraite, avec le bouton droit, ouvrir avec "enregistreur d'image disque" et choisir votre carte sd…


  14. Premier démarrage de Raspbian

    Pour commencer, insérer votre carte sd, branchez une souris, un clavier et un écran et un câble ethernet rj45 sur votre box. Alimentez votre Raspberry (alimentation ou câble microUsb/usb sur votre box). Votre Raspberry démarre et affiche des lignes de commande. N'en tenez pas compte pour le moment et…


  15. Le Raspberry Pi à l'école

    Voyons d'abord les enjeux, nous verrons à la fin ce qu'est le Raspberry Pi. OBJECTIFS : Création d’un atelier / classe "sciences informatiques" permettant l’acquisition de compétences propres aux sciences informatiques. Travailler sur l’orientation en faisant découvrir les métiers de l’informatique à nos élèves qui associent leur pratique…