Skip to main content

Retrouver l’espace perdu sur une carte SD

Si vous faites des bidouillages sur votre Raspberry Pi, vous avez peut-être dû vous rendre compte qu’une fois votre carte SD formatée (avec Raspberry Pi, OpenELEC ou autre), il était difficile de revenir à la capacité d’origine de votre carte SD. Mais ça, c’était avant.

Pour formater une carte SD, et donc retrouver la taille d’origine de votre carte SD, j’ai trouvé un petit utilitaire qui s’appelle SD Formater. Pour le télécharger, dans la colonne de gauche, cliquez sur « SD Formatter 4.0 for Windows Download » ou « SD Formatter 4.0 for Mac Download » (selon votre cas, bien entendu), et cliquez sur « I accept » en bas de la page.

Décompressez l’archive, installez et lancez le logiciel (après avoir inséré votre carte SD). Sélectionner si besoin la lettre de votre lecteur de carte SD (normalement, elle est sélectionnée automatiquement). Cliquez simplement sur Format pour lancer l’opération, et cliquez sur OK deux fois pour confirmer l’effacement complet de la carte.

SDFormater 4.0

Même si la fenêtre principale du logiciel vous annonçait que la carte ne faisait que quelques Mo (capture ci-dessus), la fenêtre de confirmation qui apparaîtra après le formatage de la carte montrera qu’il a bien détecté la capacité totale de la carte (capture ci-dessous).

SDFormater 4.0

À l’avenir, si jamais vous souhaitez profiter de l’espace restant sur votre carte après l’installation d’OpenELEC, vous pouvez partitionner votre carte SD de sorte d’avoir une partition de la taille de l’OS que vous souhaitez installer (~ 150 Mo pour OpenELEC, par exemple), et une autre partition plus volumineuse qui vous permettra de stocker vos fichiers. Cependant, la deuxième partition que vous créerez ne sera pas visible sous Windows, car ce dernier ne détecte que la 1e partition d’un support amovible.

Lire la suite

Android 4.0 va être adapté pour le Raspberry Pi !

Bonne nouvelle pour tous les possesseurs de Raspberry Pi : le créateur du mini-ordinateur a annoncé la semaine dernière qu’Android 4.0, soit la dernière version du système d’exploitation pour mobiles de Google, allait être porté sur le Raspberry Pi.

C’est donc un excellente nouvelle, car la communauté d’Android est immense, et tout le catalogue du Play Store (actuellement, environ 600 000 apps) va être disponible pour le Raspberry Pi. Tout en permettant à ceux qui veulent bidouiller ou installer leur propre système de rester compatible avec des distributions Linux.

Le portage est donc en cours. Les premiers résultats montrent que la plupart des fonctions sont opérationnelles, mis à part le système audio de Linux qui ne fonctionne pas encore.

Lire la suite

Le Raspberry Pi est disponible à l’achat !

C’est en ce jours du 29 févrer à 6h00 HMT pétantes que les créateurs ont annoncé sur le site officiel du Raspberry Pi que le plus petit ordinateur du monde était disponible à l’achat !

Pour ceux qui n’en ont pas encore entendu parler, le Raspberry Pi est un ordinateur minimaliste (en fait, juste une carte électronique), auquel vous devez rattacher tous les périphériques externes (écran, clavier, souris…). Une carte SD fait officie de disque dur, sur laquelle vous pourrez installer certaines distributions de Linux. La bête, malgré son apparence cheap, peut faire tourner de nombreuses choses, y compris des vidéos 1080p. Serveur web, passerelle multimédia… La seule limite est votre imagination !

Pour l’occasion, le site officiel a revêtu une toute nouvelle interface. Comme escompté, ce dernier ainsi que les deux sites à partir desquels vous pouvez acheter un Raspberry Pi (Premier Farnell et RS Components) sont complètement dans les choux.

Foncez si vous êtes intéressé pour acheter le Raspberry Pi, car les concepteurs ne vendent pour l’instant que 10 000 exemplaires du modèle B du Raspberry Pi, incluant par rapport au modèle A (qui sera mis en vente d’ici quelques semaines/mois) une prise Ethernet ainsi que deux ports USB.

EDIT DU 04/07 : vous êtes débutant avec le Raspberry ? Vous souhaiteriez savoir comment l’installer et apprendre à l’utiliser ? Suivez mon tutoriel pour débutant Raspberry Pi, qui vous apprendra les bases de cet ordinateur miniature.

Lire la suite

Des éditions limitées du Raspberry Pi en vente !

À tous les fans d’électronique : des exemplaires édition limitée des Raspberry Pi sont désormais en vente en enchères sur eBay. Avant de commencer à écouler les 10 000 pièces de leur stock au prix de 25$ ou 35$, les fondateurs du projet ont voulu vendre quelques exemplaires « beta » afin de lever des fonds.

Pour ceux qui ne connaissent pas, le Raspberry Pi est un projet visant à concevoir un ordinateur le plus petit et le moins cher possible, sans pour autant négliger les fonctionnalités de celui-ci. Cet ordinateur, de la taille d’une carte de crédit, est fourni « nu » : uniquement la partie hardware étant présente, il relève à chacun de s’occuper de la partie software (le système d’exploitation, les applications, jeux…).

Parlons justement du côté software : l’architecture de ce PC étant de type ARM (comme les smartphones), on ne peut pas faire tourner certains systèmes d’exploitation dessus (par exemple, pas de Windows) : seules certaines distributions de Linux seront installables sur le système, comme Debian par exemple. Néanmoins, il sera possible à l’utilisateur de faire tourner certains jeux récents, et de regarder des films en HD 1080p.

Voilà un schéma de l’architecture de cet ordinateur :

Et voilà une photo :

Le Raspberry Pi est donc fourni sans clavier, sans souris, sans écran, sans boîtier extérieur, sans alimentation. Chaque utilisateur devra connecter lui-même ces périphériques, et installer lui-même un système d’exploitation compatible sur la carte SD qui servira de mémoire.

Pour conclure, ces ordinateurs s’adressent principalement aux bidouilleurs en herbe et électroniciens dans un premier temps, mais vise à conquérir un public ayant peu de ressources, par exemple pour faire concurrence à l’opération One Laptop Per Child (qui eux, coûtent 100$ l’unité).

Les Raspberry Pi seront disponibles au prix de 25$ ou 35$ fin Janvier (normalement), selon l’édition que vous choisissez, après les enchères préliminaires. Vous pouvez avoir plus d’infos sur le blog officiel de la fondation Raspberry Pi ou sur Wikipedia.

Mise à jour du 26 Février : la sortie du Raspberry Pi est imminente, les 10000 premiers exemplaires devraient être disponibles à l’achat entre le 27 et le 29 Février. Surveillez le site officiel !

Lire la suite