Télécharger et installer une distribution Linux pour le Raspberry Pi

Malgré un léger problème de production (mauvais modèle de prise Ethernet), la nouvelle série de livraison du Raspberry Pi est vraiment attendue (j’en fais partie!). Entre temps, la fondation a mis en ligne trois distributions Linux destinées à être installées sur la carte SD du mini ordinateur:

  • Debian Squeeze (LXDE, Midori et des outils de développements)
  • Arch Linux ARM
  • Fedora 14 Remix

Elles sont toutes téléchargeables ici en DL direct ou torrent.

Pour les installer:

Windows

Utiliser Image Writer pour copier le contenu du fichier .img sur la carte SD

MacOS

Après extraction du zip, exécuter df -h dans un terminal pour connaître le nom de la carte SD (du genre « /dev/disk1 »), et ensuite exécuter la commande suivante en remplaçant avec nom correspondant:

dd bs=1m if=~/Downloads/debian6-17-02-2012/debian6-17-02-2012.img of=/dev/disk1

Linux

Après extraction du zip, exécuter dmesg | tail dans un terminal pour connaître le nom de la carte SD (du genre « /dev/sdc »), et ensuite exécuter la commande suivante en remplaçant avec nom correspondant:

dd bs=1M if=~/debian6-17-02-2012/debian6-17-02-2012.img of=/dev/sdc

Get Linux, annuaire de distributions Linux

Get Linux est une application portable Windows qui référence à peu près une centaine de distributions Linux et propose pour chaque OS une description (en anglais), une capture d’écran et la possibilité de télécharger la dernière version.

Il est possible de choisir de télécharger une version 32 ou 64 bits mais il serait bien de pouvoir choisir l’environnement de bureau (Gnome ou KDE par exemple) pour certaines distributions comme OpenSUSE (KDE par défaut), mais cela viendra peut-être lors d’une prochaine mise à jour.

On peut aussi voir une description de la distribution sur Distrowatch, des vidéos Youtube la concernant et enfin le site officiel.

Télécharger sur le site officiel