Hof Aline

Hof Aline

Rédactrice en chef du magazine Linux Pratique, Secrétaire de rédaction du magazine MISC - Éditions Diamond

432 article(s)
Description

Diplômée de l’Université Strasbourg II, Aline Hof rejoint l'équipe rédactionnelle des Éditions Diamond en 2009 où elle se consacre dans un premier temps au bimestriel Linux Essentiel dédié aux débutants sous GNU/Linux avant de devenir rédactrice en chef du magazine Linux Pratique. Elle supervise également la réalisation de la revue de cybersécurité MISC.

Signature
Rédactrice en chef du magazine Linux Pratique, Secrétaire de rédaction du magazine MISC - Éditions Diamond
Articles de l'auteur

Changer l’environnement de bureau de Raspbian

Magazine
Marque
Linux Pratique
Numéro
100
Mois de parution
mars 2017
Spécialité(s)
Résumé
PIXEL est l’environnement de bureau embarqué par défaut au sein de Raspbian, or en tant que possesseur curieux d’une Raspberry Pi, vous souhaiterez sans doute découvrir quelles autres alternatives s’offrent à vous en la matière. Malheureusement, avec les réglages appliqués par défaut, il ne vous sera pas possible de changer facilement de bureau. Nous allons remédier à cela en installant un nouveau gestionnaire de session graphique. Dès lors vous pourrez aisément jongler entre divers environnements de bureau et faire de nouvelles découvertes !

Ajouter et gérer des utilisateurs

Magazine
Marque
Linux Pratique
HS n°
Numéro
38
Mois de parution
mars 2017
Spécialité(s)
Résumé
Par défaut, au démarrage de votre système, un seul utilisateur est déjà préconfiguré et créé : il s’agit de l’utilisateur « pi », qui utilise par défaut le mot de passe « raspberry ». C’est via ce compte que vous pourrez administrer et utiliser votre Raspbian. Cependant, tout cela pourra être personnalisé. Vous pourrez vous concocter un profil d’utilisateur qui vous corresponde mieux et surtout, ajouter de nouveaux utilisateurs à votre système ! Ce qui vous permettra ainsi de partager vos expérimentations avec la Raspberry Pi avec votre entourage. Gros plan sur la marche à suivre...  

Une famille, plusieurs modèles et accessoires

Magazine
Marque
Linux Pratique
HS n°
Numéro
38
Mois de parution
mars 2017
Spécialité(s)
Résumé
Depuis sa sortie en 2012, la Raspberry Pi a bien évolué. Au fil des années, divers modèles ont été mis au point, chacun ayant ses propres spécificités. Je vous propose de passer en revue ici les principaux choix disponibles en la matière en revenant sur certaines de leurs spécifications. Vous découvrirez aussi dans cet article qu’il est possible d’utiliser votre Raspberry Pi avec certains accessoires. Nous reviendrons également sur une partie d’entre eux ici.  

Mettez en route votre Raspberry Pi

Magazine
Marque
Linux Pratique
HS n°
Numéro
38
Mois de parution
mars 2017
Spécialité(s)
Résumé
Vous avez désormais réuni votre Raspberry Pi ainsi que le matériel nécessaire à son fonctionnement. Vous avez également choisi le système que vous installerez sur la carte SD de votre Raspberry Pi afin de pouvoir profiter de cette dernière. Comme indiqué précédemment, Raspbian est le système d’exploitation sur lequel je baserais mes explications. Nous verrons ensemble comment « installer » celui-ci sur la carte SD de la Pi et enfin comment mettre en route votre nano-ordinateur.

Préparer la carte SD de votre Raspberry Pi avec GNOME Disks

Magazine
Marque
Linux Pratique
Numéro
99
Mois de parution
janvier 2017
Spécialité(s)
Résumé
Que vous souhaitiez installer un nouveau système sur votre Raspberry Pi ou simplement « nettoyer » une carte SD que vous venez de retrouver qui pourrait vous être utile avec votre Pi, tous ces cas de figure impliqueront que vous prépariez au préalable votre carte SD. Pour mener à bien cette opération, nous vous indiquons ici la marche à suivre à l’aide de l’utilitaire GNOME Disks.

Sélectionnez et imprimez !

Magazine
Marque
Linux Pratique
Numéro
99
Mois de parution
janvier 2017
Spécialité(s)
Résumé
Simple et efficace, voilà comment l’on pourrait qualifier cette extension pour le navigateur web Firefox. « Capture & Print » va en effet vous permettre de réaliser une tâche simple, mais qui par sa rapidité d’exécution se révèlera des plus pratiques.

Créez un media center à partir de votre PC et/ou votre Raspberry Pi

Magazine
Marque
Linux Pratique
Numéro
99
Mois de parution
janvier 2017
Spécialité(s)
Résumé
À l’ère de la smart TV et du « je fais tout sur le Web », pourquoi encore s’embêter avec la mise en place d’un media center me direz-vous ? Eh bien, tout simplement parce que certains projets comme celui que nous allons vous présenter ici sont faciles à installer et utiliser, open source et surtout aisément personnalisables. Le projet Kodi répond à tous ces critères et bien plus encore comme nous allons le voir… PC, Raspberry Pi, TV, smartphone, tablette, il sera possible de profiter de votre media center depuis tous ces supports et même de le piloter à distance. Découvrons cela sans plus tarder !