Fiches Informatiques
Ajouter un disque à un système encrypté
J'ai dû ajouter un disque à un système Debian encrypté, ce disque devant lui aussi être encrypté. C'est l'occasion de faire le point sur l'encryption de disques durs sous Linux.
Publié le 2019-05-27 - lire la suite.
NetBSD sur Soekris net4801
Installation de NetBSD 8.0 sur une carte Soekris net4801 via PXE.
Publié le 2019-02-27 - lire la suite.
Multiboot Windows / Linux en UEFI
Dans les situations de dual boot Linux / Windows, on recommandait traditionnellement de d'installer Windows en premier lieu, puis Linux. Le remplacement du BIOS par l'UEFI laissait supposer plus de flexibilité en la matière, mais je devais encore le tester. Voilà qui est maintenant fait.
Publié le 2018-12-28 - lire la suite.
Musique en voiture
Mon autoradio accepte de jouer de la musique depuis une clé USB. Voici quelques trucs pour l'utiliser au mieux.
Publié le 2018-06-17 - lire la suite.
Mon expérience avec PowerShell
J'ai passé quelques années à programmer en PowerShell. En voici mon expérience, comment je l'ai utilisé et ce que j'ai pu créer avec, dont une bibliothèque de modules bien utile.
Publié le 2017-08-27 - lire la suite.
Activer TRIM sous Debian
Brièvement, comment activer TRIM sur un SSD sous Debian Stretch.
Publié le 2017-04-23 - lire la suite.
Carte d'identité belge sous Debian Testing
Publié le 2017-04-22 - lire la suite.
Carte graphique AMD sous Debian
Client NFS
Créer une clé USB pour installer Windows (2)
Deuxième partie de la série consacrée: ajouter des installeurs au disque d'installation.
Publié le 2016-11-29 - lire la suite.
Configuration d'Apache pour du développement en simple utilisateur
Bien souvent, par paresse, on développe sur un serveur Apache installé depuis les packages et lancé par root sur le port 80; cependant, il est plus confortable de se configurer un serveur à part, lancé en simple utilisateur, et qu'on peut donc redémarrer à volonté sans devoir repasser par le compte root.
Ce document a été mis à jour pour tenir compte de Debian 8 (Jessie) et 9 (Stretch).
Publié le 2016-11-13 - lire la suite.
Créer une clé USB pour installer Windows
Petite excursion du côté obscur. J'ai par le passé créé un média d'installation USB pour Windows. Mes souhaits étaient les suivants:
- Démarrer sous le BIOS et l'UEFI
- Contenir plusieurs installeurs
- Installer depuis un fichier image de plus de 4 GB (ex: Windows 2012)
- Ne pas nécessiter d'outil tiers
Publié le 2016-11-05 - lire la suite.
Des couleurs pour le prompt
J'aime avoir un prompt de couleur différente sur chaque machine, histoire de ne pas me perdre dans mes sessions SSH, mais j'ai la flemme de choisir et encoder une couleur pour chaque compte. Le bout de code suivant va s'en charger à ma place.
Publié le 2016-08-30 - lire la suite.
Un oscillateur battant la seconde
La base de toute horloge est un oscillateur, qui fournira un signal de fréquence constante, qu'il suffira ensuite de compter. Un Arduino pourrait le faire, cependant l'oscillateur fournissant sa fréquence n'est pas suffisamment précis pour faire une horloge fiable. Ce montage va fournir un signal avec une fréquence d'une seconde pouvant être utilisé simplement pour piloter une horloge.
Publié le 2015-11-03 - lire la suite.
Charlieplexing amélioré
Dans ma dernière fiche, j'ai présenté une manière de faire du charlieplexing. Après avoir dépecé une lampe à LEDs, j'ai découvert qu'il manquait deux propriétés au câblage que j'ai présenté. Ces propriétés sont:
- la proximité des LEDs opposées; je voudrais que deux LEDs connectées aux deux mêmes pins aient des numéros consécutifs
- l'extensibilité: je voudrais ne pas avoir à recâbler tout lorsque l'augmentation du nombre de LEDs nécessite d'utiliser un pin en plus
Cette fiche présente la technique utilisée pour obtenir ces deux propriétés.
Publié le 2015-02-22 - lire la suite.
Charlieplexing
Il est simple de piloter quelques LEDs en leur attriburant un pin chacune. On peut donc piloter N LEDs avec N pins. Le charlieplexing est une technique permettant de piloter N * (N-1) LEDs avec N pins. Des dizaines de LEDs peuvent ainsi être contrôlées avec seulement quelques pins.
Publié le 2015-02-22 - lire la suite.
Console série sous Debian Jessie et systemd
J'ai déjà configuré des systèmes utilisant uniquement un port série. Depuis que Debian 8 (Jessie) est basée sur systemd, la procédure a quelque peu changé.
Publié le 2015-02-08 - lire la suite.
Installation de Baïkal
À la recherche d'un serveur léger pour mon calendrier et mes contacts, j'ai fini par sélectionner Baïkal, qui est particulièrement simple à installer, mises à part quelques subtilités s'il n'est pas installé à la racine du serveur.
Publié le 2014-12-06 - lire la suite.
Expérience avec une LED tricolore
Plantages du navigateur sur architectures exotiques
J'ai toujours eu des problèmes de stabilité des navigateurs web sur mon Gdium. Après de nombreuses recherches sur Internet, un coupable semblait émerger: le JIT.
Publié le 2014-03-23 - lire la suite.
Paramètres de mémoire virtuelle et réactivité du système
Quelques astuces pour rendre le Gdium (ou n'importe quelle petite machine) plus réactif.
Publié le 2014-03-23 - lire la suite.
OpenVPN entre réseaux
Mon PC servant en partie de terrain d'expérimentation, j'ai tendance à déplacer certaines fonctions vers mon serveur, plus stable par nature. Dans ce cas-ci, mon client VPN est installé sur mon serveur, rendant le VPN utilisable par tous les ordinateurs de mon réseau sans que rien ne soit installé sur ceux-ci.
Publié le 2011-06-17 - lire la suite.
Debian sur Gdium
Gestion du processeur du Gdium
Dans son état d'origine, le Gdium chauffe pas mal et a une autonomie assez mauvaise. Voici les opérations permettant de gérer ces problèmes.
Publié le 2009-07-07 - lire la suite.
Particularités logicielles de G-Linux
Passées les premières impressions, il est temps de préparer le terrain en vue de customiser le système ou d'en adapter un autre au Gdium en identifiant les particularités du système.
Publié le 2009-07-07 - lire la suite.