Liste des articles

Virer xf86-video-intel et activer le Kernel mode setting avec un Intel HD 620 (sur Core i5 7200U) sous Archlinux

Récemment, sur mon Acer Aspire E 15 (E5-575-52G6) j’ai commencé à avoir des soucis graphiques de type freeze total de la machine. L’image est totalement figée, mais le son continue d’être joué. Le système ne semble pas totalement sur les genoux, mais aucune entrée clavier n’est possible : le serveur X est donc planté. Tellement qu’il me faut couper l’alimentation de la machine. Aie !

Après une rapide investigation (à base de journalctl -b-1 et de recherches sur les forums de ma distribution), le coupable est le paquet xf86-video-intel dans sa version supérieure à 1:2.99.917+913+g9236c582-1.

Il y a donc deux solutions : revenir à cette version ou utiliser le modesetting. J’ai tenté les deux et j’ai finir par garder la seconde.

Lire la suite...

Avoir un thème Hugo dans un dossier séparé

Avec le générateur de sites Hugo, il est possible de changer l’apparence de son site en mettant tout dans le dossier layouts/ ou bien de créer un thème (voire d’en récupérer un sur internet) dans le dossier idoine.

Mais contrairement aux exemples ou instructions d’installation, il n’est pas obligé de résider dans le sous-dossier themes/ de votre projet.

Lire la suite...

Tcpdump, rapidement

Cet outil permet de faire énormément de choses avec les communications réseaux des machines. Voici quelques commandes explicatives qui peuvent être utiles pour découvrir si la faute vient de votre serveur.

Lire la suite...

Compresser ses pages : Le retour

Dans un ancien article, je parlais de la mise en place de la compression sur ce blog, sans entrer dans les détails1.

Aujourd’hui, je vais en dire un peu plus, car l’astuce a changé pour le blog. Et vu que sous Apache, c’est un peu plus chiant que sous Nginx, un petit retour d’expérience pourrait intéresser du monde.

Lire la suite...

Arrivée d'un blogroll

L’idée de faire des liens vers d’autres blogs me trotte dans la tête depuis un moment. Après tout, le but des blogs c’est le partage, alors renvoyer vers d’autres adresses ça fait partie du truc. Surtout si, de proche en proche, ça vous fait découvrir d’autres blogs qui vous intéressent. Et les blogs indépendants, c’est toujours cool.

La question était : comment faire ça bien ? Une réponse qui me satisfait est : avec openring.

Lire la suite...

Mise à jour du design

Hello ! Aujourd’hui je change la palette de couleurs du site. Des couleurs inspirées par le thème Nord. J’en profite pour me séparer de l’image de fond. Elle n’apportait pas grand chose et c’est toujours des octets de moins à vous envoyer.

Lire la suite...

La recherche est là

Sur un site statique, avoir un petit moteur de recherche, c’est la classe. Même si je ne poste pas de manière régulière ni intensive, ça peut vite devenir pénible de retrouver une note. Alors je n’imagine même pas les blogs plus anciens que le mien ou les sites plus fournis.

Mais il y a plus pénible encore que trouver une info dans ces conditions. Il y a trouver comment faire !

J’ai finalement fini par intégrer lunrjs, avec quelques magouilles. Mais pour y arriver, ce fut un parcours étonnamment compliqué.

Lire la suite...

L'arrivée des tables des matières dans les articles

Petite mise à jour du blog : j’ai ajouté une table des matières sur certains articles un peu longs. Notamment les quelques aides mémoires que j’ai pu rédiger au fil du temps.

Au passage, celle qui était sur la page « En Vrac » indique maintenant « contenu » … Comme sur les articles.

Lire la suite...

Différence entre 2 dates en python

Ce problème simple peut se poser de manière ponctuelle et pour le résoudre en python, on a tout ce qu’il faut dans la bibliothèque datetime. Elle permet directement de faire des soustractions (ou l’inverse au besoin) entre deux objets de ce type. Pas besoin forcément de faire d’innombrables conversions via des timestamps (quoique …).

Avec le résultat, la manipulation est facile vu qu’on a plétore de fonctions pour faire ce qu’on veut ensuite.

Alors oui, comme je viens de le dire c’est trivial, mais je n’ai pas trouvé ça simple à avoir en lisant la doc. D’où ce petit partage rapide.

Lire la suite...

Alias SSH avec Rsync

La commande rsync sait travailler avec ssh. Il est même possible de définir des options comme le port, l’utilisateur, une clef, etc. Jusque là, rien de nouveau.

Par contre si on ne fait pas gaffe, on se retrouve vite avec des commandes longues, du style :

rsync -av --delete -e 'ssh -p 2222 -i ~/.ssh/ma_clef' ${PUBLICDIR} user@mon_host:${REMOTE_WEBDIR}

Quand bien même ces lignes sont placées dans des scripts (ou des alias shell … beuark), ça va rapidement devenir un enfer à gérer en cas de changement de paramètres.

Heureusement, on peut configurer ssh pour se faciliter la vie. Et rendre le tout bien plus propre aussi.

Lire la suite...