le raspberrypi : petites adaptations du système de … · principe d'installation en ligne de...

Le RaspberryPi : Petites adaptations du système de base installé (Raspbian) et installation de quelques logiciels utiles .

Par X. HINAULT – Octobre 2012 – www.mon-club-elec.fr

Ce qu'on va faire ici

• Une fois la distribution Raspbian installée, il est utile de faire quelques manip' dites de « post-installation » pour se faciliter la vie. Cela passe par l'installation de quelques logiciels de base comme nous allons le voir ici.

• Mes conseils sont totalement subjectifs, et sont le fruit de mon expérience personnelle : c'est ce que je conseille de faire, mais chacun reste libre de faire ce qu'il veut.

Avant de commencer

• Avant de passer à la suite, je vous recommande, si ce n'est déjà fait, d'exécuter l'utilitaire raspi-config et de passer en revue les différentes options de configuration : voir le tuto dédié détaillant les options de cet utilitaire pour plus de détails.

Le RaspberryPi : Personnalisation du système Gnu/Linux (Raspbian) de base - Par X. HINAULT – Octobre 2012 – www.mon-club-elec.fr – p. 1 / 13

http://www.mon-club-elec.fr/


Principe d'installation en ligne de commande• On commence par lancer le RaspberryPi avec tous ses périphériques branchés, comme pour l'installation initiale. Connexion internet active obligatoire !

• Pour la suite, nous allons utiliser l'installation des différents paquets logiciels utiles, en ligne de commande. Pour ce faire, il suffit d'ouvrir un Terminal, ce qui se fait par un double clic sur l'icône LXTerminal présente sur le bureau du RaspberryPi. On obtient alors une fenêtre avec une invite.



Ce qu'il faut au minimum savoir concernant le système Gnu/Linux (Raspbian) installé sur le RaspberryPi • Un système Gnu/Linux repose sur l'assemblage de « morceaux » logiciels, que l'on va assembler entre eux à la façon d'un lego. Pour assurer une cohérence

d'ensemble, ces paquets compilés sont stockés sur des serveurs appelés « dépôts ». En fonction des besoins, on va ajouter des paquets au système.

• Sur le système Gnu/Linux, un utilitaire va permettre de gérer ces paquets : il s'agit d'apt qui dispose de plusieurs commandes notamment :

◦ apt-get install nompaquet pour installer un paquet

• D'autre part, un système Gnu/Linux repose sur un système de droits accordés à un utilisateur donné. L'utilisateur lambda ne peut pas faire tout ce qu'il veut sur le système. Seul un administrateur (ou « root ») peut réaliser toutes les opérations. Dans certaines situations, on donne à un utilisateur donné les droits « root » à l'aide de la commande sudo qui sera placée avant la commande à exécuter.

• Enfin, certaines commandes de base sont à connaître : cd pour se déplacer dans les répertoires, ls pour lister un contenu de répertoire, etc...

Pour faire simple...• Pour vous faire comprendre simplement ce qu'est la distribution Debian (et donc Raspian), imaginez un stock de 35000 pièces de Lego différentes :

• A partir de toutes ces « pièces logicielles », appelées « paquets » qui sont stockés dans les dépôts, il est possible d'enrichir à la demande le système de base. Une fois le système de base installé, vous disposez d'un système fonctionnel mais limité à l'essentiel. Ici, nous allons l'enrichir de façon à lui ajouter des fonctions utiles (accès distant, wifi, vidéo, synthèse vocale, etc...) tout en gardant un système de petite taille (on a que 8Go sur la carte SD et 256 Mo de RAM... donc va falloir la jouer « fine et rusée »!). Suivez le guide... !



Nous allons ici améliorer la distribution Raspian de base pour l'adapter à nos besoins...



Mise à jour du système• La première chose à faire va être de mettre le système à jour. On commence par mettre à jour la liste des paquets. Ouvrez le Terminal et saisissez la

commande (le mot de passe par défaut est raspberry) :$ sudo apt-get update

• Ensuite, on peut mettre à jour la distribution avec la commande : $ sudo apt-get upgrade

• Noter que çà peut prendre un certain temps, voire même très longtemps.... Si vous êtes pressé, ne le faîtes pas maintenant : vous pourrez le faire ultérieurement à tout moment. Je vous conseille de le faire une fois de temps temps... mais rien d'obligé.

• Une fois fait, on peut fermer le terminal ou passer à la suite.

Remarque

Pour l'installation de nouveaux paquets, en fait aller à l'essentiel sur le RaspberryPi : tout paquet de plus de 10 Mo est à éviter... sauf cas particulier. Ceci en raison du temps d'installation qui sera nécessaire et de l'utilisation des ressources système qui sera probablement trop importante à l'usage.

Alternative graphique (donc plus gourmande en ressources...)

Sinon, on peut aussi installer le gestionnaire de mise à jour avec la commande (pas indispensable) :



$ sudo apt-get install update-manager

puis le lancer manuellement$ sudo update-manager



Petites adaptations de base du système installé• Une chose simple à faire et plutôt utile en pratique est de mettre la barre des tâches en partie supérieure. Pour ce faire, clic droit sur la barre des tâches et

choisir l'option « Paramètres su tableau de bord :

• Dans la fenêtre qui s'ouvre, cliquer sur l'onglet « taille » et cocher position « Haut » puis fermer.



• Le tableau de bord est désormais en position haute ce qui sera plus pratique pour un contrôle à partir d'un petit écran notamment (netbook, tablette) :



Installation de quelques logiciels système utiles

Htop, un moniteur système léger

• htop est un moniteur système léger qui permet d'avoir des informations sur l'usage de la RAM, etc...

• Installation :$ sudo apt-get install htop

• Utilisation : $ htop

• Résultat :

• Intéressant pour avoir des informations sur le système. Premières caractéristiques du système : moins de 50 Mo de RAM utilisés sur 184 Mo... Ok.



Geany, un éditeur de texte et de code léger

• Geany est un éditeur de texte et de code léger (avec coloration syntaxique, notamment Python). Utile pour modifier facilement les fichiers de configuration ultérieurement... mais aussi pour écrire des programmes d'interfaces graphique en Python !

• Installation :$ sudo apt-get install geany

• Utilisation : $ geany

• Résultat :



Modifier la résolution d'affichage par défaut

• Par défaut, la résolution de l'affichage utilisé, notamment par connexion vidéo RCA, peut être assez petite. Il devient alors intéressant de fixer cette résolution manuellement. La résolution de l'affichage se fait via un fichier de configuration (comme beaucoup de paramétrages sur un système Gnu/Linux). On va donc ouvrir ce fichier :

$ sudo geany /boot/config.txt

• Puis décommenter et modifier les lignes : framebuffer_width=800

framebuffer_height=600

• une fois fixées les valeurs voulues (800 x 600 c'est pas mal), çà donne :

• Enregistrer et fermer.



+/- xfce4-power-manager, un gestionnaire d'énergie

• xfce4-power-manager est un gestionnaire d'énergie et de mise en veille léger.

• Installation $ sudo apt-get install xfce4-power-manager

• Utilisation : pour les réglages : $ xfce4-power-manager-settings

• Résultat : on pourra régler au besoin le gestionnaire de façon à ce que l'écran ne passe pas en veille, etc...

• +/- activer le chargement au lancement via menu Préférences > Paramètres de la session .

En fait, il n'est pas évident que ce gestionnaire soit vraiment utile sur le raspberryPi



Autres logiciels ?

• Des logiciels habituels tels que chromium, firefox, etc... sont trop gourmands pour être utilisés sur le RaspberryPi. Les essais sont peu concluants.

• Une bonne source d'inspiration en fonction de ses propres besoins : http://harbhag.wordpress.com/2010/07/02/best-lightweight-applications-for-linux/



http://harbhag.wordpress.com/2010/07/02/best-lightweight-applications-for-linux/

le raspberrypi : petites adaptations du système de … · principe d'installation en ligne de...

Documents