Tag Archives: linux

IDE pour le Raspberry Pi

Il est parfois plus simple de programmer sur son PC plutôt que directement sur le Rasberry Pi. D’autant plus si ce dernier n’est pas relié à un écran.
Dans ce contexte, il est préférable d’utiliser son PC avec un IDE paramétré avec une chaîne de compilation croisée pour le processeur du RPi. On peut, bien sûr, sortir la grosse artillerie avec des logiciels comme Code::Blocks ou Eclipse par exemple. Mais ayant un PC assez lent, j’ai préféré créer un outils léger et rapide, qui consomme bien moins de ressource.

C’est cet outil que je vous propose. Il permet d’éditer des codes en langage C avec des fonctionnalités communes aux IDE, comme la coloration syntaxique ou l’ouverture de plusieurs fichiers dans des onglets, par exemple.

Un bouton de compilation permet de créer le fichier exécutable par le RPi. Il suffira donc de le copier dessus pour tester.

Vue normale pendant d’édition sur RPi IDE

Mon IDE est écrit en java et fonctionne entièrement sur Linux.
Il fonctionne aussi sur Windows, mais ne pourra pas compiler le code. Toutefois, le logiciel pourra toujours servir d’éditeur de code.
Le compilateur actuel est gcc-linaro-arm-linux-gnueabihf-raspbian disponible ici.
Aucune installation n’est nécessaire.

Lien de téléchargement : RPi IDE V1.tar.gz

Si vous avez des suggestions ou des remarques, n’hésitez pas à le dire pour que je puisse améliorer le logiciel.

Ajouter un utilisateur et utiliser la commande « sudo » avec le Raspberry Pi

Après avoir installé une des distributions Linux sur votre Raspberry Pi (ou même sur un système classique), peut-être voulez-vous créer votre propre utilisateur, différent de celui par défaut. La suite de cet article montre comment s’y prendre simplement.
De plus, si vous êtes un utilisateur d’Ubuntu et de ses dérivés, ou que vous voulez simplifier vos futures tâches, la commande « sudo » peut être intéressante et j’en décrirai l’installation.

Les commandes ci-dessous fonctionnent sur Debian et ses dérivés, et sont facilement adaptables pour les autres. Sur le Raspberry Pi, je l’ai testé avec Raspbian.

Tout d’abord, il est préférable d’être en mode administrateur si ce n’est pas le cas, ce qui peut se faire avec la commande suivante qui demandera éventuellement le mot de passe.

su -

On ajoute le nouvel utilisateur. La commande demandera des informations complémentaires que vous pouvez renseigner.

adduser <nouvel utilisateur>

On installe le programme sudo.

apt-get update
apt-get install sudo

Pour éviter un bug dans certaines versions on va modifier le fichier hosts dans /etc/.

nano /etc/hosts

Il faut transformer la ligne suivante :

127.0.0.1   localhost

En :

127.0.0.1   localhost   <nom de la machine>

Puis, quitter en sauvegardant avec Ctrl + x et en répondant oui, tout en laissant le fichier à la même adresse.

Il reste à ajouter les utilisateurs qui pourront utiliser la commande « sudo » dans le groupe du même nom :

adduser <utilisateur à ajouter> sudo

Et enfin, on redémarrera le système avec un :

reboot

On peut maintenant se connecter avec le nouvel utilisateur et tester la commande sudo avec une mise à jour, par exemple.

sudo apt-get update
sudo apt-get upgrade

D’autres tutos/articles à suivre.

Raspberry Pi

Logo Raspberry Pi

Logo Raspberry Pi

Mais quel est donc le rapport entre une framboise (raspberry) et le nombre Pi (3.141592….).
La réponse est simple : c’est le tout simplement le nom de l’ordinateur révolutionnaire créer par la fondation du même nom.

C’est tout simplement un outil fabuleux. Il permet toutes les tâches basiques que permet un ordinateur normal, mais sa taille est extrêmement réduite (de la taille standard d’une carte de crédit) et son prix vraiment avantageux : seulement $25 pour le modèle A et $35 pour le modèle B.

Diagramme du Raspberry Pi

Diagramme du Raspberry Pi

Il embarque une puce crée par Broadcom qui rassemble, entre autre, 256 Mo de RAM, un processeur ARM tournant de base à 700 MHz, et surtout une puce de calculs graphiques Videocore 4 qui décode sans difficulté les flux 1080p et le codec H.264 à 40 Mbits/s.
De plus, la carte présente une connectique USB, carte SD, RCA, HDMI, Jack, et des pins de connexion permettant l’ajout de d’autres périphériques avec plusieurs protocoles (SPI, UART, …).
Le modèle B possède un port USB et un port Ethernet en plus par rapport au modèle A.
La consommation électrique est ridiculement petite, à peine 3.5 watts au maximum. On peut donc l’alimenter avec des piles ou un simple chargeur de téléphone. Pour information, sa consommation est si basse que si on le laisse branché toute une année à pleine puissance, cela ne coûtera qu’environ 3.50 € (aux tarif EDF 2012).
Pour l’instant, seul le modèle B est disponible à la vente.

Ces caractéristiques permettent d’envisager à l’utiliser dans de nombreuses applications.
Par exemple, on peut s’en servir comme serveur (de données, de mail, web, …), d’ordinateur d’appoint, de centre multimédia. Car, il est vrai que j’ai oublié de dire que l’on peut y installer de nombreuses distributions linux.

Le Raspberry Pi n'est pas plus grand qu'un ticket de métro.

Le Raspberry Pi n'est pas plus grand qu'un ticket de métro.

Ports USB, sortie audio, et sortie vidéo RCA.

Ports USB, sortie audio, et sortie vidéo RCA.

Sortie vidéo HDMI et port Ethernet

Sortie vidéo HDMI et port Ethernet

Je posterai bientôt des articles sur l’utilisation du Raspberry Pi.