Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux,...

33
Le pcDuino : Installation du système Gnu/Linux de base Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr Documentation réalisée avec le soutien matériel de www.gotronic.fr , fournisseur français du pcDuino Introduction A la différence du RaspberryPi, pour lequel le système est installable uniquement sur carte SD, la particularité du pcDuino est qu'il est possible d'installer le système : soit en mémoire NAND intégrée (2Go) : la vitesse d'accès en écriture est sensiblement plus rapide et la fluidité d'usage bien meilleure ! soit sur une carte micro-SD : permet d'installer un système plus « grand » (jusqu'à 32 Go) mais la vitesse d'accès en écriture est plus lente Je vais vous présenter ici les 2 procédures : mise à niveau du système en mémoire NAND (conseillé) et installation du système sur carte SD. A la fin de ce tuto, vous disposerez d'un pcDuino opérationnel tournant avec la version du système la plus résente disponible Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 1 / 33

Transcript of Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux,...

Page 1: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

Le pcDuino : Installation du système Gnu/Linux de base

Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr

Documentation réalisée avec le soutien matériel de www.gotronic.fr, fournisseur français du pcDuino

Introduction • A la différence du RaspberryPi, pour lequel le système est installable uniquement sur carte SD, la particularité du pcDuino est qu'il est possible d'installer le

système :

◦ soit en mémoire NAND intégrée (2Go) : la vitesse d'accès en écriture est sensiblement plus rapide et la fluidité d'usage bien meilleure !

◦ soit sur une carte micro-SD : permet d'installer un système plus « grand » (jusqu'à 32 Go) mais la vitesse d'accès en écriture est plus lente

Je vais vous présenter ici les 2 procédures : mise à niveau du système en mémoire NAND (conseillé) et installation du système sur carte SD.

A la fin de ce tuto, vous disposerez d'un pcDuino opérationnel tournant avec la version du système la plus résente disponible

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 1 / 33

Page 2: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

A savoir : le système « pré-installé » est opérationnel• Le pcDuino est livré d'emblée avec un système Gnu/Linux Lubuntu « pré-installé » et vous pouvez d'emblée le démarrer comme çà. Mais ce système

Lubuntu installé n'est pas forcément à jour... donc il est intéressant (et même très souhaitable) d'utiliser un système plus récent en utilisant la dernière image système disponible.

• En effet les choses vont très vite... et en 2 mois, des corrections ou ajouts significatifs ont pu être intégrés à la dernière image du système fournie par le fabricant : autant en profiter !

• Pour la petite histoire, le premier pcDuino que j'ai testé avait un système pré-installé qui ne comportait même pas les fichiers d'accès aux broches E/S... donc quand je dis que c'est important de mettre à jour, c'est même indispensable en fait !

• C'est pour çà que la première manip' que je conseille est de mettre à jour le système en mémoire NAND, ce que nous allons décrire en détail ici.

Entre les différentes possibilités d'installation, comment choisir ? • A la première question « Faut-il mettre le système pré-installé à jour ? », la réponse est clairement oui comme nous venons de le voir.

• La question qui se pose à ce stade est : « Vaut-il mieux alors installer le nouveau système en mémoire NAND ou bien sur carte SD ? » La réponse dépend de chacun, mais à mon avis il est préférable de l'installer en mémoire NAND, car c'est beaucoup plus fluide à l'usage (j'ai testé les 2!). Pour donner un ordre d'idée, on a une sensation de vitesse x3 à x4 en écriture, comparativement au RaspberryPi par exemple, avec un système en mémoire NAND. En clair, on est à 2 doigts de la sensation que l'on a sur un PC normal... Voici quelques éléments à prendre en compte pour votre choix :

• Savoir que pour la mise à niveau du système en mémoire NAND :

◦ le système en mémoire NAND ne dispose « que » de 2Go et donc sera limité en nombre de logiciels installables... En pratique, çà voudra dire qu'il faudra limiter les logiciels installés aux besoins réels. En clair, il faudra utiliser que des logiciels légers... ce qui est de toute façon conseillé sur une machine comme le pcDuino. Mais je vous rassure tout de suite, 2Go, çà laisse carrément de la marge pour faire tout ce qu'on a à faire avec une telle plateforme : serveur web, capture vidéo, interfaces graphiques interactives, etc...

◦ la procédure est (un peu) plus compliquée et moins « standard » que ce que l'on a l'habitude de faire.. mais bon, rien d'inaccessible... Je vous explique tout en détail ici. Pour faire simple, on le fait en 2 temps :

▪ d'abord le chargement de l'image du noyau

▪ puis le chargement de de l'image du système, dans les 2 cas à partir de la carte micro-SD.

◦ ce qui est clair par contre, c'est que le système installé en mémoire NAND est beaucoup plus rapide et donc fluide que sur carte SD... +++ (d'après mes essais, la vitesse est x4 à x5 comparativement à une carte SD classe 4 par exemple... ) A l'usage, c'est vraiment plus agréable et donc çà vaut vraiment la peine !

◦ Savoir enfin que la dernière version Lubuntu fournie pour le pcDuino permet de copier le système présent en mémoire NAND sur une carte SD : donc le jour où les 2 Go de la NAND ne suffisent plus (en taille), on pourra toujours passer sur carte SD. Comme il est ainsi possible de copier à tout moment le système en mémoire NAND sur une carte SD lorsqu'on arrive à la limite des 2 Go, vous ne serez pas bloqué, même dans ce cas...

◦ il faut une carte micro-SD uniquement pour la manip' de mise à jour, ensuite, cela n'est plus nécessaire

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 2 / 33

Page 3: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

• Savoir qu'en utilisant un système sur carte SD :

◦ on disposera de davantage d'espace pour installer des logiciels, etc... Vous pouvez aller jusqu'à 32Go de carte SD... En pratique 8Go est un bon compromis prix/taille.

◦ il sera plus facile à copier pour « faire des petits »... une fois le système paramétré à sa sauce...

◦ l'installation est plus simple que l'installation en mémoire NAND : on installe l'image en 1 fois, comme pour raspberryPi ou de façon comparable à l'installation d'une Lubuntu classique sur un PC à partir d'une clé USB-live (sauf qu'on utilise une SD-card).

◦ par contre il faut une carte micro-SD qui sera utilisée en permanence... et si possible de classe 10 (donc plus chère) pour vraiment être bien..

Au final, je conseille (c'est ce que j'ai fait...) :

d'installer le système récent en NAND et de ne pas le surcharger (on a que 2Go) et de mettre sur carte SD tout ce qui va être données volumineuses, etc...

d'utiliser le système sur carte SD seulement si on a de gros besoins logiciels (situation rare ou particulière à mon avis..), mais alors utiliser une carte SD de classe 10... pour limiter la lenteur d'accès en écriture...

Choix du système à installer• Comme pour tout ordinateur, le pcDuino nécessite un système d'exploitation pour être utilisable. Le système d'exploitation, c'est l'équivalent de Windows

ou Gnu/Linux sur les PC, Mac Os X sur les Mac.

• Le pcDuino étant un matériel « low-cost » vendu à 60€, il est illusoire ( et idiot...) d'utiliser une système d'exploitation payant sur cette plateforme. Le choix logique et naturel est de se tourner vers une distribution Gnu/Linux, gratuite, opensource, configurable à volonté.

• Heureusement pour nous, le fabricant fournit une image « clés-en-main » pour le pcDuino... C'est ici : http://www.pcduino.com/?page_id=14 C'est une Lubuntu récente, pour base ARM avec un noyau adapté au pcDuino.

• Il existe probablement d'autres images disponibles pour le pcDuino, mais utiliser celle du fabricant me semble être la bonne solution.

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 3 / 33

Page 4: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

Procédure d'installation en mémoire Flash NAND interne (2Go)

Préparation de l'installation • La procédure est « classique » pour l'installation d'un système Linux : on grave une image sur un support de lancement, ici une carte mémoire SD puis on

lance le système avec. Ceux qui ont déjà préparé un live-CD seront en terrain connu. Pour les autres, rien de bien sorcier.

• A la différence de l'installation sur une SD-Card, ici l'installation se fait cependant en 2 temps :

◦ d'abord installation du noyau (kernel)

◦ puis ensuite installation du système de fichier

• La procédure présente cependant également quelques particularités liées :

◦ à la cible utilisée, le pcDuino, plateforme ARM rappelons-le

◦ au type de support (une carte mémoire SD) qui a ses particularités techniques.

• Je présente ici la procédure à partir d'un poste tournant sous Gnu/Linux. Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les détails, voir ici : http://doc.ubuntu-fr.org/live_cd et là : http://doc.ubuntu-fr.org/live_usb

Truc : si vous êtes sous Windows, vous pouvez réaliser toutes les manip' décrites ici en utilisant une clé USB live d'une distribution Ubuntu.

Téléchargez Unetbootin, ainsi que l'image Ubuntu voulue, préparez votre clé USB et lancer Ubuntu sur votre PC... Autant vous mettre à Linux de suite !

Noter que si on doit répéter la manip' sur plusieurs machines, on a intérêt à utiliser 2 cartes micro-SD : une pour le noyau et une pour le système de fichier. De cette façon, on grave les cartes 1 seule fois et on les utilise pour les différentes machines à mettre à jour.

Matériel nécessaire

• Pour cette étape vous avez besoin uniquement d'un PC sous Gnu/Linux connecté à internet et disposant d'un connecteur pour carte SD

• ainsi qu'une voire 2 cartes mémoire micro SD SDHC de 4Go ou plus. Ici, une petite taille de carte suffit.

Télécharger l'image du système

• Télécharger l'image ici : http://www.pcduino.com/?page_id=14

• Choisir l'image Ubuntu pour mémoire NAND la plus récente. Attention à ne pas vous tromper de lien : à chaque fois, il est proposé :

◦ 1 image NAND qui associe Kernel + Ubuntu : utiliser celle-là,

▪ en choississant bien le kernel pour dd si vous êtes sous Linux. L'autre image du Kernel proposée est pour LiveSuite ou PhoenixCard, 2 utilitaires pour Windows... La procédure est tellement simple avec dd, que je ne vois pas pourquoi se compliquer la vie...

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 4 / 33

Page 5: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

▪ et l'image Ubuntu pour NAND

◦ 1 image Ubuntu SD : ne pas utiliser celle-là

• Attention, çà prend 10 minutes à télécharger... On obtient 2 fichiers :

◦ le fichier du noyau : pcduino_a10_kernel_disk32imager_xxxx.img

◦ l'archive du système de fichier : pcduino_ubuntu_xxxx.7z

Graver l'image du noyau sur la carte mémoire SDHC

Information préalable

• Classiquement, les habitués d'Ubuntu et des systèmes Gnu/Linux en général le savent, pour graver une image, on va utiliser un utilitaire spécifique qui permet de créer un disque de démarrage. On peut notamment citer le logiciel Unetbootin qui permet de faire à peu près ce que l'on veut dans ce domaine. Mais ici, on va utiliser une carte mémoire SDHC qui est une mémoire FLASH et cela impose l'utilisation d'un utilitaire en ligne de commande un peu particulier, appelé dd.

Info

« L'utilitaire dd est une commande unix (et donc Gnu/Linux...) permettant de copier un fichier en effectuant des conversions, en ne sélectionnant qu'une partie des données à copier. Il est particulièrement adapté à la copie sur des périphériques blocs tel que des disques durs ou des lecteurs CD-ROM » et donc également des

mémoires SD. Pour plus d'info voir : http://fr.wikipedia.org/wiki/Dd_%28Unix%29

• La syntaxe de la commande dd est différente des autres commandes unix traditionnelles. La commande dd utilise des options de la forme option=valeur au lieu de la forme classique -option valeur. Les options de dd que nous allons utliser ici sont les suivantes :

◦ if=fichier_entree (Input File) : lit ce fichier en entrée. Cela peut être un fichier régulier comme un périphérique de type bloc. Par défaut, c'est l'entrée standard qui est utilisée (par exemple le clavier).

◦ of=fichier_sortie (Output File) : écrit dans ce fichier en sortie.

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 5 / 33

Page 6: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

• ATTENTION : L'utilitaire dd est susceptible d'effacer n'importe quelle partition ou disque de votre machine. Si vous n'utilisez pas le bon identifiant de partition dans les instructions qui suivent, vous pouvez très bien effacer par erreur la partition principale de votre système et perdre des données le cas échéant. Faites donc attention ! Pour éviter les « mauvais gags », une solution peut consister à utiliser un PC sans données sensibles dessus (netbook...).

Obtenir l'identifiant correspondant à la carte SDHC utilisée pour graver l'image

• Sur un système Gnu/Linux, les disques sont dénommés par un groupe de lettre de la forme sda, sdb, sdc, etc... Et sur chaque disque, les espaces utilisables, appelés également « partition » sont identifiés par un numéro suivant le nom du périphérique : par exemple sda1, sda2, etc... pour les partitions n°1 et n°2 d'un disque nommé sda.

• La première chose à faire dans notre cas est de connaître l'identifiant de notre carte SD. Ne connecter pas votre carte pour le moment. Ouvrez un terminal et saisissez la commande suivante qui permet de lister l'ensemble des postes présents sur votre système actuel.

$ sudo df -h

• Vous devez alors obtenir la liste de toutes les partitions présents sur le système. A présent, connecter la carte SD dans le lecteur SD de votre ordinateur. Puis saisissez à nouveau la commande précédente :

$ sudo df -h

• Vous devez alors obtenir à nouveau la liste des partitions avec une nouvelle ligne qui correspond à la carte SD. Si par hasard la carte SD ne se monte pas automatiquement, ouvrez le gestionnaire de fichier et ré-exécuter la commande. Par exemple, on obtient :

/dev/sdc1 7,4G 32K 7,4G 1% /media/3932-3566

• Noter bien l'identifiant obtenu correspondant à votre carte (pour éviter de vous tromper, vérifier la taille du périphérique) ! Dans cet exemple, la carte SD a pour identifiant sdc et dispose d'une partition sdc1 de 7,4Go.

Démonter la partition correspondant à votre carte SD

• A présent, pour pouvoir écrire des données et donc notre fichier image sur le système, il est nécessaire de démonter la partition présente sur la carte SD. Dans notre exemple, la partition sdc1. On utilisera donc la commande :

$ umount /dev/sdc1

• Si par hasard lors de l'exécution de la commande utilisée pour lister les partitions, plusieurs partitions étaient présentes sur la carte SD (sdc1, sdc2, sdc3...), il est nécessaire dans ce cas de les démonter une à une à l'aide de la même instruction umount suivie de l'identifiant correspondant.

Graver l'image sur la carte mémoire SD

• A présent nous allons graver l'image du système sur la carte SDHC... Prêt ? C'est parti !

ATTENTION (bis)

L'utilitaire dd est susceptible d'effacer n'importe quelle partition ou disque de votre machine. Si vous n'utilisez pas le bon identifiant de partition dans les instructions qui suivent, vous pouvez très bien effacer par erreur la partition principale de votre système et perdre des données le cas échéant. Faites donc

attention ! Pour éviter les « mauvais gags », une solution peut consister à utiliser un PC sans données sensibles dessus (netbook...).

D'autre part, toutes les données présentes sur la carte mémoire SD seront également effacées !

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 6 / 33

Page 7: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

• Ouvrir un terminal. On commence par se placer dans le répertoire où se trouve l'image *.img (si ce n'est déjà fait) : $ cd

$ cd chemin/ou/se/trouve/le/fichier/image/du/kernel

• Ensuite, on va lancer la commande dd avec comme paramètres :

◦ le fichier *.img comme source

◦ la carte SD comme destination

◦ le paramètre bs qui correspond à la taille de bloc à utiliser (ici 4M. Si çà ne fonctionne pas, utiliser 1M)

• Bien lancer la commande en sudo (droits administrateurs) et en utilisant l'identifiant de la carte SD (sans les chiffres de la partition), ce qui donne : $ sudo dd bs=1M if=pcduino_a10_kernel_disk32imager_xxxx.img of=/dev/sdc

• Remplacer les xxx selon les chiffres de votre fichier. Cette fois, çà n'est pas trop long car le kernel ne fait que 88Mo.

Important : Finaliser la gravure de l'image sur la carte SD

• Une fois que vous avez à nouveau l'invite de la ligne de commande, la gravure est terminée. A ce stade, il ne vous reste plus qu'à exécuter en mode sudo la commande suivante pour finaliser la gravure de l'image sur la carte SD :

$ sudo sync

• Voilà, c'est fini pour cette étape !

Connecter le pcDuino aux différents périphériques pour le lancement initial du système• Une fois que l'image du noyau est gravée sur la carte mémoire SD, il ne reste plus qu'à connecter tous les périphériques sur le pcDuino avant de lancer le

système :

◦ connecter le réseau (câble éthernet )

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 7 / 33

Page 8: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

◦ connecter le clavier USB et la souris USB

◦ connecter l'écran par HDMI

◦ mettre en place la carte SD dans le connecteur

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 8 / 33

Page 9: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

Face dessous du pcduino

Chargement du noyau en mémoire NAND et lancement du pcDuino avec le noyau chargé en mémoire NAND

Mise sous tension du pcDuino

• Une fois que tout est connecté et que la carte est mise en place dans son emplacement sur le pcdDuino, mettre sous tension et attendre 1 minute environ. On voit une LED clignoter à fréquence lente puis s'arrêter. A priori, c'est bon, le noyau a été chargé dans la mémoire NAND.

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 9 / 33

Page 10: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

• Une fois fait, enlever la carte micro-SD et appuyer sur le bouton RESET : on voit alors s'afficher les messages indiquant le chargement du noyau :

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 10 / 33

Page 11: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

• Puis, la procédure bloque avec un message indiquant la recherche d'un système de fichier... Logique ! Une LED reste allumée et l'autre clignote. Le système va rester dans cet état de recherche d'une image du système jusqu'à ce qu'on connecte une carte SD ou même une clé USB avec l'image du système.

• N'éteignez pas le pcDuino et passer à la suite.

Chargement du système de fichiers Ubuntu en mémoire NAND• Pour cette étape, vous allez pouvoir utiliser une autre carte micro-SD ou bien la même mais en la formatant au préalable. Utiliser 2 cartes micro-SD

est intéressant si on doit mettre à jour plusieurs pcDuino à la suite.

Extraire l'archive du système de fichiers Ubuntu

• Ensuite, nous allons extraire le fichier de l'image du système Ubuntu au format *.img à partir de l'archive *.7z précédemment téléchargée.

• Ouvrir le gestionnaire de fichier, aller dans le répertoire où se trouve l'archive et faire un simple clic droit dessus : choisir « ouvrir avec le gestionnaire » d'archive puis « extraire » et « extraire ici », comme on le ferait pour n'importe quelle archive *.zip.

• Attention, çà peut prendre un certain temps.... de l'ordre de 2 à 3 minutes...

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 11 / 33

Page 12: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

• Vous devez obtenir un répertoire ubuntu avec 2 fichiers :

◦ un fichier *.img appelé pcduino_ubuntu_20130531.img

◦ et un fichier appelé update.sh

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 12 / 33

Page 13: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

Copier (et pas graver...) les fichiers sur la carte mémoire SDHC (ou sur une clé USB.. )

• Connecter la carte micro-SD à votre PC

• Ensuite, simplement copier les 2 fichiers sur la carte mémoire micro-SD voire même sur une clé USB...

• Patience, çà peut prendre un certain temps... car le fichier image est assez gros. Quelques minutes à nouveau.

Chargement du système de fichier en mémoire NAND

◦ Alors que le noyau est toujours en train de chercher un système de fichier (voir étape précédente), mettre en place la carte SD une nouvelle fois dans le connecteur :

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 13 / 33

Page 14: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

Face dessous du pcduino

• à ce moment-là, la première LED reste allumée et la 2ème LED se met à nouveau à clignoter plus rapidement, attestant du chargement en mémoire NAND du système de fichier. Patienter : çà dure un peu plus longtemps que précédemment :

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 14 / 33

Page 15: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

• Quand c'est terminé, les 2 LEDs clignotent lentement. Si elles clignotent rapidement, alors la procédure a échoué... reprenez. Mais normalement, c'est bon, en tout cas, moi je n'ai pas eu de problèmes !

Lancement final du pcDuino avec le nouveau système installé en mémoire NAND• Tatata.... vous y êtes, votre pcDuino avec son système tout neuf en NAND va enfin démarrer !! • Une fois fait, enlever la carte micro-SD et appuyer sur le bouton RESET : on voit alors s'afficher les messages indiquant à nouveau le chargement du

noyau :

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 15 / 33

Page 16: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

Les messages de lancement défilent à la mise sous tension...

Au premier boot : l'écran de l'utilitaire de configuration

• Une fois que le système se lance, on arrive, au premier boot, sur un écran de menu Board-configuration. Il s'agit d'un utilitaire intégré à la distribution Lubuntu et qui permet de configurer un certain nombre de paramètres et d'options. Ces paramètres une fois fixés seront utilisés pour les lancements ultérieurs.

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 16 / 33

Page 17: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

• Techniquement, cette étape et cet utilitaire servent à paramétrer un fichier de configuration (le fichier /boot/config.txt). Tous les changements faits à ce stade peuvent être modifiés ultérieurement.

• Si vous êtes pressé, ce que je comprends tout à fait, vous pouvez revenir ici par la suite :

◦ soit en lançant en ligne de commande : pour info, cet utilitaire pourra être lancé à tout moment utltérieurement avec la commande :$ sudo board-config.sh

◦ soit en tapant F8 au moment du boot suivant

• Sans trop entrer dans les détails, voici les choix par défaut que je conseille (se déplacer avec les flèches HAUT/BAS) :

◦ activer l'option « expand_rootfs » : cette option permet d'utiliser toute la capacité de la carte SD pour le système installé.

◦ activer l'option « set_boot » : de cette façon le système démarrera en mode graphique immédiatement

◦ paramétrer l'option set_keyboard en français,

◦ paramétrer Time zone Europe > Paris,

◦ paramétrer la résolution de l'écran en 800x600

◦ … et c'est tout.

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 17 / 33

Page 18: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

• Allez sur finish avec la touche TAB puis valider. Le système va redémarrer.... en mode graphique cette fois : Yes !

Info

On pourra relancer Board-configuration à tout moment quand on le souhaitera en ligne de commande ultérieurement ou avec la touche F8 lors du boot.

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 18 / 33

Page 19: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

Au second boot...

Le boot se fait en 20 secondes environ. Arrive enfin le moment tant attendu :

Le bureau Lubuntu (LXDE) obtenu au lancement.

La taille/forme est fonction de vos paramètres...

Vous obtenez bien cet écran ? Bravo, vous avez réussi votre installation et votre pcDuino est opérationnel !

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 19 / 33

Page 20: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

Et après ? • A ce stade, vous disposez d'un pcDuino opérationnel, plusieurs possibilités s'offrent maintenant à vous.

◦ Si vous ne connaissez pas du tout Gnu/Linux, je vous conseille fortement, avant de passer à autre chose, de vous familiariser avec le système installé et notamment :

▪ découvrir les rudiments de l'utilisation de la ligne de commande (voir tuto dédié )

▪ découvrir le menu de l'environnement LXDE et les logiciels installés.

◦ Si vous estimez être à l'aise avec un environnement Gnu/Linux et si la ligne de commande ne vous effraie pas, vous allez pouvoir personnaliser votre système : suivez le guide !

• Une fois que vous êtes prêt, vous allez pouvoir personnaliser le système de base et notamment le rendre accessible par le réseau. Allez, on continue...

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 20 / 33

Page 21: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

Procédure d'installation sur carte SD (jusqu'à 32Go)• Dans cette section, je décris l'installation du système sur une carte SD comme on le ferait sur un raspberryPi : cette solution permet d'avoir plus d'espace

disponible pour le système, au prix d'une réduction de la fluidité du système, par diminution de la vitesse d'accès en écriture.

ATTENTION : Si vous avez installé le système en mémoire interne NAND, vous n'êtes pas concerné par cette procédure.

Préparation de l'installation • La procédure est « classique » pour l'installation d'un système Linux : on grave une image sur un support de lancement, ici une carte mémoire SD puis on

lance le système avec. Ceux qui ont déjà préparé un live-CD seront en terrain connu. Pour les autres, rien de bien sorcier.

• La procédure présente cependant quelques particularités liées :

◦ à la cible utilisée, le pcDuino, plateforme ARM rappelons-le

◦ au type de support (une carte mémoire SD) qui a ses particularités techniques.

• Je présente ici la procédure à partir d'un poste tournant sous Gnu/Linux. Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les détails, voir ici : http://doc.ubuntu-fr.org/live_cd et là : http://doc.ubuntu-fr.org/live_usb

Truc : si vous êtes sous Windows, vous pouvez réaliser toutes les manip' décrites ici en utilisant une clé USB live d'une distribution Ubuntu.

Téléchargez Unetbootin, ainsi que l'image Ubuntu voulue, préparez votre clé USB et lancer Ubuntu sur votre PC... Autant vous mettre à Linux de suite !

Matériel nécessaire

• Pour cette étape vous avez besoin uniquement d'un PC sous Gnu/Linux connecté à internet et disposant d'un connecteur pour carte SD ainsi qu'une carte mémoire micro SD SDHC de 8Go ou plus.

Télécharger l'image du système

• Télécharger l'image ici : http://www.pcduino.com/?page_id=14

• Choisir l'image Ubuntu pour carte SD la plus récente. Attention à ne pas vous tromper de lien : à chaque fois, il est proposé :

◦ 1 image NAND qui associe Kernel + Ubuntu : il ne faut pas utiliser celle-là

◦ 1 image Ubuntu SD : c'est celle-là qu'il vous faut.

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 21 / 33

Page 22: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

• Attention, çà prend 10 minutes... On obtient un fichier ubuntu_mmc_xxx.img

Extraire l'image à partir de l'archive obtenue

• Ensuite, nous allons extraire le fichier de l'image au format *.img à partir de l'archive *.7z précédemment téléchargée.

• Ouvrir le gestionnaire de fichier, aller dans le répertoire où se trouve l'archive et faire un simple clic droit dessus : choisir « ouvrir avec le gestionnaire » d'archive puis « extraire » et « extraire ici », comme on le ferait pour n'importe quelle archive *.zip.

• Attention, çà peut prendre un certain temps....

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 22 / 33

Page 23: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

• Vous devez obtenir un répertoire ubuntu_mmc avec fichier *.img de 1,9Go environ appelé pcduino_ubuntu_mmc_xxxx.img :

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 23 / 33

Page 24: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

Graver l'image sur la carte mémoire SDHC

Information préalable

• Classiquement, les habitués d'Ubuntu et des systèmes Gnu/Linux en général le savent, pour graver une image, on va utiliser un utilitaire spécifique qui permet de créer un disque de démarrage. On peut notamment citer le logiciel Unetbootin qui permet de faire à peu près ce que l'on veut dans ce domaine. Mais ici, on va utiliser une carte mémoire SDHC qui est une mémoire FLASH et cela impose l'utilisation d'un utilitaire en ligne de commande un peu particulier, appelé dd.

Info

« L'utilitaire dd est une commande unix (et donc Gnu/Linux...) permettant de copier un fichier en effectuant des conversions, en ne sélectionnant qu'une partie des données à copier. Il est particulièrement adapté à la copie sur des périphériques blocs tel que des disques durs ou des lecteurs CD-ROM » et donc également des

mémoires SD. Pour plus d'info voir : http://fr.wikipedia.org/wiki/Dd_%28Unix%29

• La syntaxe de la commande dd est différente des autres commandes unix traditionnelles. La commande dd utilise des options de la forme option=valeur au lieu de la forme classique -option valeur. Les options de dd que nous allons utliser ici sont les suivantes :

◦ if=fichier_entree (Input File) : lit ce fichier en entrée. Cela peut être un fichier régulier comme un périphérique de type bloc. Par défaut, c'est l'entrée standard qui est utilisée (par exemple le clavier).

◦ of=fichier_sortie (Output File) : écrit dans ce fichier en sortie.

• ATTENTION : L'utilitaire dd est susceptible d'effacer n'importe quelle partition ou disque de votre machine. Si vous n'utilisez pas le bon identifiant de partition dans les instructions qui suivent, vous pouvez très bien effacer par erreur la partition principale de votre système et perdre des données le cas échéant. Faites donc attention ! Pour éviter les « mauvais gags », une solution peut consister à utiliser un PC sans données sensibles dessus (netbook...).

Obtenir l'identifiant correspondant à la carte SDHC utilisée pour graver l'image

• Sur un système Gnu/Linux, les disques sont dénommés par un groupe de lettre de la forme sda, sdb, sdc, etc... Et sur chaque disque, les espaces utilisables, appelés également « partition » sont identifiés par un numéro suivant le nom du périphérique : par exemple sda1, sda2, etc... pour les partitions n°1 et n°2 d'un disque nommé sda.

• La première chose à faire dans notre cas est de connaître l'identifiant de notre carte SD. Ne connecter pas votre carte pour le moment. Ouvrez un terminal et saisissez la commande suivante qui permet de lister l'ensemble des postes présents sur votre système actuel.

$ sudo df -h

• Vous devez alors obtenir la liste de toutes les partitions présents sur le système. A présent, connecter la carte SD dans le lecteur SD de votre ordinateur. Puis saisissez à nouveau la commande précédente.

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 24 / 33

Page 25: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

$ sudo df -h

• Vous devez alors obtenir à nouveau la liste des partitions avec une nouvelle ligne qui correspond à la carte SD. Si par hasard la carte SD ne se monte pas automatiquement, ouvrez le gestionnaire de fichier et ré-exécuter la commande. Par exemple, on obtient :

/dev/sdc1 7,4G 32K 7,4G 1% /media/3932-3566

• Noter bien l'identifiant obtenu correspondant à votre carte (pour éviter de vous tromper, vérifier la taille du périphérique) ! Dans cet exemple, la carte SD a pour identifiant sdc et dispose d'une partition sdc1 de 7,4Go.

Démonter la partition correspondant à votre carte SD

• A présent, pour pouvoir écrire des données et donc notre fichier image sur le système, il est nécessaire de démonter la partition présente sur la carte SD. Dans notre exemple, la partition sdc1. On utilisera donc la commande :

$ umount /dev/sdc1

• Si par hasard lors de l'exécution de la commande utilisée pour lister les partitions, plusieurs partitions étaient présentes sur la carte SD (sdc1, sdc2, sdc3...), il est nécessaire dans ce cas de les démonter une à une à l'aide de la même instruction umount suivie de l'identifiant correspondant.

Graver l'image sur la carte mémoire SD

• A présent nous allons graver l'image du système sur la carte SDHC... Prêt ? C'est parti !

ATTENTION (bis)

L'utilitaire dd est susceptible d'effacer n'importe quelle partition ou disque de votre machine. Si vous n'utilisez pas le bon identifiant de partition dans les instructions qui suivent, vous pouvez très bien effacer par erreur la partition principale de votre système et perdre des données le cas échéant. Faites donc

attention ! Pour éviter les « mauvais gags », une solution peut consister à utiliser un PC sans données sensibles dessus (netbook...).

D'autre part, toutes les données présentes sur la carte mémoire SD seront également effacées !

• Ouvrir un terminal. On commence par se placer dans le répertoire où se trouve l'image *.img (si ce n'est déjà fait) : $ cd

$ cd chemin/ou/se/trouve/le/fichier/image

• Ensuite, on va lancer la commande dd avec comme paramètres :

◦ le fichier *.img comme source

◦ la carte SD comme destination

◦ le paramètre bs qui correspond à la taille de bloc à utiliser (ici 4M. Si çà ne fonctionne pas, utiliser 1M)

• Bien lancer la commande en sudo (droits administrateurs) et en utilisant l'identifiant de la carte SD (sans les chiffres de la partition), ce qui donne : $ sudo dd bs=4M if= pcduino_ubuntu_mmc_xxxx.img of=/dev/sdc

• çà dure facile 5 minutes... On n'a l'impression qu'il ne se passe rien... mais çà bosse. Patienter, vous touchez presque au but !

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 25 / 33

Page 26: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

Important : Finaliser la gravure de l'image sur la carte SD

• Une fois que vous avez à nouveau l'invite de la ligne de commande, la gravure est terminée. A ce stade, il ne vous reste plus qu'à exécuter en mode sudo la commande suivante pour finaliser la gravure de l'image sur la carte SD :

$ sudo sync

• Voilà, c'est fini pour cette étape ! Bravo, vous allez enfin pouvoir lancer votre pcDuino !!

Connecter le pcDuino aux différents périphériques pour le lancement initial du système• Une fois que l'image système est gravée sur la carte mémoire SD, il ne reste plus qu'à connecter tous les périphériques sur le RaspberryPi avant de lancer le

système :

◦ connecter le réseau (câble éthernet dans un premier temps, le wifi par clé USB sera configuré ensuite)

◦ connecter le clavier USB et la souris USB

◦ connecter l'écran par HDMI ou RCA

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 26 / 33

Page 27: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

◦ mettre en place la carte SD dans le connecteur

Face dessous du pcduino

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 27 / 33

Page 28: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

Lancement du pcDuino avec le système gravé sur la carte SD

Mise sous tension du pcDuino

• Une fois que tout est connecté, vous êtes paré. Vérifier que tous les éléments de votre réseau sont sous tension, que votre écran est sous tension.

• A présent, on va mettre le pcDuino sous tension... Minute de vérité... et le début d'une aventure sympa... Tatatata.... Connecter le câble d'alimentation micro-USB au pcDuino.

• La LED de mise sous tension et les 2 LEDs de la carte s'allument, des messages de lancement du système défilent à l'écran :

Les messages de lancement défilent à la mise sous tension...

Au premier boot : l'écran de l'utilitaire configuration

• Une fois que le système se lance et on arrive, au premier boot, sur un écran de menu Board-configuration. Il s'agit d'un utilitaire intégré à la distribution Lubuntu et qui permet de configurer un certain nombre de paramètres et d'options. Ces paramètres une fois fixés seront utilisés pour les lancements ultérieurs. Cet utilitaire pourra être lancé à tout moment utltérieurement avec la commande :

$ sudo board-config.sh

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 28 / 33

Page 29: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

• Techniquement, cette étape et cet utilitaire servent à paramétrer un fichier de configuration (le fichier /boot/config.txt). Tous les changements faits à ce stade peuvent être modifiés ultérieurement.

• Si vous êtes pressé, ce que je comprends tout à fait, vous pouvez revenir ici par la suite.

• Voici les choix par défaut que je conseille (se déplacer avec les flèches HAUT/BAS) :

◦ activer l'option « expand_rootfs » : cette option permet d'utiliser toute la capacité de la carte SD pour le système installé.

◦ activer l'option « set_boot » : de cette façon le système démarrera en mode graphique immédiatement

◦ paramétrer l'option set_keyboard en français,

◦ paramétrer Time zone Europe > Paris,

◦ paramétrer la résolution de l'écran en 800x600

◦ … et c'est tout. Allez sur finish avec la touche TAB puis valider. Le système va redémarrer.... en mode graphique cette fois : Yes !

Info

On pourra relancer Board-configuration à tout moment quand on le souhaitera en ligne de commande ultérieurement.

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 29 / 33

Page 30: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 30 / 33

Page 31: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

Au second boot...Attention : le redémarrage peut prendre un certain temps, en raison de certaines opérations qui sont effectuées sur la carte SD, notamment le

redimensionnement de la partition. Patience... tout se passe bien...

Arrive enfin le moment tant attendu :

Le bureau Lubuntu (LXDE) obtenu au lancement.

La taille/forme est fonction de vos paramètres...

Vous obtenez bien cet écran ? Bravo, vous avez réussi votre installation et votre pcDuino est opérationnel !

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 31 / 33

Page 32: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 32 / 33

Page 33: Le pcDuino : Installation du système Gnu/Linux de base · Si vous n'êtes pas sous Gnu/Linux, procurez-vous un live-CD Ubuntu par exemple et lancer votre système avec. Pour les

Et après ? • A ce stade, vous disposez d'un pcDuino opérationnel, plusieurs possibilités s'offrent maintenant à vous.

◦ Si vous ne connaissez pas du tout Gnu/Linux, je vous conseille fortement, avant de passer à autre chose, de vous familiariser avec le système installé et notamment :

▪ découvrir les rudiments de l'utilisation de la ligne de commande (voir tuto dédié )

▪ découvrir le menu de l'environnement LXDE et les logiciels installés.

◦ Si vous estimez être à l'aise avec un environnement Gnu/Linux et si la ligne de commande ne vous effraie pas, vous allez pouvoir personnaliser votre système : suivez le guide !

• Une fois que vous êtes prêt, vous allez pouvoir personnaliser le système de base et notamment le rendre accessible par le réseau. Allez, on continue...

Le pcDuino : installation du système Linux de base - Par X. HINAULT – Juin 2013 – www.mon-club-elec.fr – p. 33 / 33