Club robotique de Sophia-Antipolis

Accueil > POBOTpedia > Ordinateurs embarqués (SBC) > La carte Raspberry PI > Installation et configuration de la R-Pi > Archlinux sur la Raspberry Pi

Archlinux sur la Raspberry Pi

lundi 2 juillet 2012, par Laurent Ba.

Cet article est destiné à ceux qui veulent découvrir et installer la distribution Archlinux sur une carte Raspberry Pi.

D’autres distributions sont disponibles, plus simples : Debian, Raspbian, Occidentalis...

 Installation

Allez c’est parti pour une petite install sur la Raspberry pi d’une de mes distributions Linux préférées. L’installation est faite depuis un PC lui-même sous système GNU/Linux.

Pour les présentations le plus simple c’est d’aller faire un tour sur http://archlinuxarm.org/,
mais je vais tout de même rappeler ses principales caractéristiques :
- elle est basée sur le principe KISS (keep it simple and stupid), le système est très épuré et laisse le choix à l’utilisateur.
- c’est une distribution en rolling release c’est-à-dire qu’il n’y a pas de version et qu’elle est continuellement mise a jour.
- elle bénéficie d’une grande communauté d’utilisateurs qui peuvent contribuer facilement à la création de paquetages avec le système AUR.

Juste un dernier point avant de rentrer dans le vif du sujet, je décline absolument toute responsabilité en cas d’addiction !!! :)

Voici le lien vers la page d’installation sur RPi : http://archlinuxarm.org/platforms/a...

Sinon :

$ mkdir rpi
$ cd rpi
$ wget http://files.velocix.com/c1410/images/archlinuxarm/archlinuxarm-13-06-2012/archlinuxarm-13-06-2012.zip

# ou télécharger le torrent http://downloads.raspberrypi.org/im...

$ unzip arch*.zip
$ cd archlinuxarm*[^"zip"]
$ sha1sum --check arch*.sha1

Ceci permet de vérifier que le fichier est intègre (qu’il ne comporte pas d’erreur).

On insère la carte SD dans le lecteur du PC.

Pour la retrouver :

$dmesg | tail
-->me@Laptop ~]$ dmesg | tail -n 3
-->[ 4566.206767] mmc0: new ultra high speed SDR50 SDHC card at address e624
-->[ 4566.206921] mmcblk0: mmc0:e624 SD04G 3.69 GiB
-->[ 4566.215830]  mmcblk0: p1

Ceci indique l’identifiant de la carte mémoire dans le système de fichiers. On peut le vérifier avec :

$ ls /dev/mmcblk*
-->/dev/mmcblk0  /dev/mmcblk0p1

On copie l’image sur la carte sd :

sudo dd bs=1M if=archlinuxarm[version de l'image].img of=/dev/[dans mon cas (/dev/mmcblk0)]

Après j’ai utilisé gparted pour agrandir la partition ext4 et lui donner l’étiquette root.

Je ne sais pas pourquoi j’ai pas réussi à renommer le label de la partition fat16 mais si j’avais pu je l’aurais renommé boot.

Et voila c’est fini même pas besoin de trafiquer les fichiers pour avoir un accès ssh !

En cas de problème de boot pensez à vérifier la compatibilité de la carte sd.

On insère la carte sd dans la Rpi on attend un peu que le serveur ssh se lance et on peut lancer un scan de port avec nmap ou netdiscover (si on veut pas faire comme dans matrix :p @julien) pour récupérer l’adresse IP.

Si vous ne vous souvenez plus de votre base d’adresse ip :

$ ip addr # ou ifconfig
$ sudo netdiscover -r 192.168.1.1/24

Il faut cependant avoir configuré son router en DHCP, (si vous ne pouvez pas, voir un peu plus bas).

On se connecte :

$ ssh root@192.168.1.69
 password : root

Avec notre nouvelle image toute fraîche plus de conflit donc on va pouvoir faire un simple

$pacman -Syu

qui va mettre tout le système à jour, notre installation minimale est terminé.

Pour le reste de la configuration, surtout si vous êtes un nouveau Archer je vous invite à faire un tour sur le site de ARM Arch Linux bien sûr mais aussi celui de http://archlinux.fr.

Le premier truc à voir sera certainement pacman, le gestionnaire de paquets -.

Il n’y a pas de serveur X ni de window manager pour le moment et ça tombe bien car je n’en ai pas besoin pour mon premier projet :) mais vous pouvez installer celui que vous voulez (un conseil : choisissez en un léger quand même).

 Connexion ssh avec une ip fixe

- aller dans le fichier /etc/rc.conf de la partition root

il y a un exemple lignes 73-78

 Connection ssh de la Rpi au pc sans routeur

dans le /etc/rc.local de la rpi ajouter par exemple :

/etc/rc.d/network stop
ifconfig eth0 192.168.0.69 up

et dans un shell du pc :

sudo /etc/rc.d/network stop
sudo ifconfig eth0 192.168.0.1 up

 Un problème avec le terminal ?

Si vous avez des soucis d’affichage avec certains programmes, qui utilisent ncurse comme top : cela peut se régler en copiant par exemple pour urxvt /usr/share/terminfo/r/rxvt-unicode-256color du pc sur la Rpi.

Un message, un commentaire ?

modération a priori

Attention, votre message n’apparaîtra qu’après avoir été relu et approuvé.

Qui êtes-vous ?

Pour afficher votre trombine avec votre message, enregistrez-la d’abord sur gravatar.com (gratuit et indolore) et n’oubliez pas d’indiquer votre adresse e-mail ici.

Ajoutez votre commentaire ici
  • Ce formulaire accepte les raccourcis SPIP [->url] {{gras}} {italique} <quote> <code> et le code HTML <q> <del> <ins>. Pour créer des paragraphes, laissez simplement des lignes vides.

Ajouter un document