Cédrix
1 line
7.1 KiB
JSON
1 line
7.1 KiB
JSON
[{"uuid":"7b77d519-4755-43bd-ae7a-fc71d2b6b8ee","slug":"installer-raspbian","title":"Installer Raspberry Pi OS","category":"Informatique","author":"cedric@abonnel.fr","cover":"","published":true,"published_at":"2023-02-02 14:11:51","created_at":"2023-02-02 14:11:51","updated_at":"2023-02-02 14:11:51","tags":[],"plain":"J'ai téléchargé une image de l'installation de Raspberry Pi OS depuis le site Internet Officiel : Je vais déployer cette image sur la carte microSD. Décompresser l'archive\nLe fichier téléchargé est une archive ZIP. Elle contient un fichier .IMG qui correspond à une image d'une partition de carte SD. Je vais vous détailler les actions a réaliser en ligne de commandes. Il faut d'abord décompresser l'archive ZIP : Identifier la carte microSD\nLe fichier est créé. Il faut l'écrire sur la carte SD qui servira de support de stockage pour le RaspberryPi. J'insère la carte microSD dans l'ordinateur et je l'identifie avec la commande Démonter les partitions\nJe m'assure que la partition n'est pas montée avec la commande Copier l'image sur la carte microSD\nJ'utilise la commande pour copier le contenu du fichier image sur la carte SD. Ceci va effacer tout le contenu de ma carte et copier octet par octet le contenu du fichier image. Je copie le fichier image sur la carte SD, identifiée et non une partition de la carte. Préparer Raspberry Pi OS pour une connexion distante\nSi vous décidez de démarrer Raspberry Pi OS sans écran ni clavier, il faudra accéder en . Pour ce faire, créer un fichier dans le dossier ou Et on démonte, efface et éjecte : J'insère la carte microSD dans le Raspberry Pi et je branche l'alimentation 5V. Liens\nÀ suivre Je vous propose de vous rendre au chapitre . Biblio https:www.raspberrypi.org/documentation/installation/installing-images/README.md https:www.raspberrypi.org/documentation/installation/installing-images/linux.md"},{"uuid":"ff14fded-e1fc-4a68-9742-e6ffd72d6c72","slug":"le-wifi-du-raspberry-pi","title":"Le Wi-Fi du Raspberry Pi","category":"Informatique","author":"cedric@abonnel.fr","cover":"","published":true,"published_at":"2024-04-14 21:14:11","created_at":"2024-04-14 21:14:11","updated_at":"2024-04-14 21:14:11","tags":[],"plain":"L'une des fonctionnalités intéressantes du Raspberry Pi est la capacité à se connecter à un réseau Wi-Fi pour accéder à internet et communiquer avec d'autres appareils sur le réseau. Le Wi-Fi du Raspberry Pi fonctionne généralement bien, mais il peut parfois y avoir des problèmes de connexion, notamment en raison de problèmes de compatibilité avec certains adaptateurs Wi-Fi USB. Dans ces cas-là, il peut être nécessaire de rechercher des solutions spécifiques à votre configuration matérielle pour résoudre les problèmes de connexion."},{"uuid":"0abed1b9-feae-465d-bca5-047fce19b1fa","slug":"parametrage-raspi-config-pour-raspberrypi-2","title":"raspi-config, le menu de configuration du Raspberry Pi 2","category":"Informatique","author":"cedric@abonnel.fr","cover":"","published":true,"published_at":"2023-02-02 14:11:50","created_at":"2023-02-02 14:11:50","updated_at":"2023-02-02 14:11:50","tags":[],"plain":"Il faut exécuter la commande avec les droits admin pour exécuter l'assistant de configuration. Ce programme propose :\nExpand Filesystem - Permettre d'étendre la partition de Rasbpian () au maximum de la possibilité de la carte SD\nChange User Password - Changer le mot de passe de l'utilisateur \nBoot Options - Choisir de démarrer dans le terminal ou dans l’environnement graphique LXDE\nWait for Network at Root - Choisir le temps d'attente pour se connecter au réseau au démarrage\nInternationalisation Options - Configurer les options linguistiques\nEnable Camera - Activer le Pi pour fonctionner avec la caméra Raspberry Pi\nAdd to Rastrack - Ajouter ce Pi à la carte en ligne des Raspberry Pi\nOverclock - Paramétrer l'overclocking pour votre Pi\nAdvanced Options - Paramétrer les options avancées\nAbout raspi-config - Information concernant cet outil de configuration Je vous propose de suivre les que j'ai pu glaner sur différents supports."},{"uuid":"f8d53247-6fee-4953-864e-c283ef537120","slug":"stockage-pour-raspberry-pi","title":"Le stockage principal du Raspberry Pi","category":"Électronique","author":"cedric@abonnel.fr","cover":"","published":true,"published_at":"2023-02-02 08:02:00","created_at":"2023-02-02 08:02:00","updated_at":"2023-02-02 08:02:00","tags":[],"plain":"En standard, les Raspberry Pi requièrent au minimum pour fonctionner un support de stockage mémoire carte SD ou micro SD selon le modèle.\nCartes SD pour Raspberry Pi\nLa taille minimale pour une installation de Raspbian Lite est de 4 Go. Pour les Raspberry Pi 3A+ et 3B+, la taille maximale de la carte SD de boot doit être de 256 Go. En règle générale, une carte de 32 Go suffit. L’usure des cartes SD est due uniquement à l'écriture des informations dans les cellules mémoire flash. Il faut entre 10 000 et 100 000 cycles d'écriture sur une cellule avant la mort de celle-ci, selon les technologies.\nCarte SD de 32 Go pour Raspbian Desktop Full La partition de la carte SD doit être FAT16 ou FAT32. Attention, car les cartes SD de taille supérieure à 32 Go sont formatée en exFAT. Il sera impératif de reformater en FAT32.\nBoot sur disque dur avec un Raspberry Pi\n> Modifier le fichier Jusqu'au Raspberry Pi 3, pour indiquer au Raspberry Pi de booter sur le disque dur branche sur un port USB, il faut à la fin du fichier écrire un paramètre. Celui-ci modifie le registre 17, bit 21 de l'OTP.\nPlus d'informations sur l'OTP : OTP register and bit definitions\n> Vérifier\nAprès avoir redémarré de nouveau, dans un terminal, il faut exécuter le programme vcgencmd avec le paramètre optdump. Cela affiche toutes les valeurs OTP (One-time Programmable). La valeur retournée doit être : Soit en binaire (32 bits) : J'éteins le Raspberry Pi et enlève la carte micro SD. Le Raspberry Pi peut maintenant démarrer sur un périphérique USB (clé ou disque). Si un carte micro SD est présente, elle reste prioritaire lors de la séquence de boot.\nRéduire le temps de démarrage\nOn peut raccourcir le délai de boot sur disque USB ou clé USB, en insérant une carte micro SD vierge.\nA voir aussi\nVidéo : Raspberry Pi 3B/3B+ USB SATA/SSD (2019)\nBoot simplifié sur USB avec les Raspberry Pi 1, 2 et 3\nhttps:jamesachambers.com/raspberry-pi-storage-benchmarks-2019-benchmarking-script/"},{"uuid":"099c8d09-24a2-40ee-a87a-c6c1861a2cea","slug":"lire-le-numero-de-serie","title":"Lire le numéro de série du Raspberry Pi","category":"Électronique","author":"cedric@abonnel.fr","cover":"","published":true,"published_at":"2022-02-20 18:41:23","created_at":"2022-02-20 18:41:23","updated_at":"2022-02-20 18:41:23","tags":[],"plain":"Le fichier contient le numéro de série du Raspberry Pi. On peut utiliser la commande suivante pour le lire :\n cat /sys/firmware/devicetree/base/serial-number\n \nLe fichier contient des informations sur les processeurs et il contient également le numéro de série du Raspberry Pi. La commande suivante permet d'extraire le numéro de série :\n cat /proc/cpuinfo | grep Serial | cut -d ' ' -f 2"}] |