Vincent Lefèvre @vinc17@framapiaf.org

How to detect whether a program is running from within #valgrind… The solution I use in GNU MPFR (works at least under #Linux): https://stackoverflow.com/a/62364698/3782797

#WordPress is an horror! In addition to tag soup, it generates empty paragraphs for page layout! #HTML

Le problème semble maintenant être résolu.

Problèmes réseau entre #Renater et #Equinix: Tant que je suis sur Renater, ping < 10ms. Mais quand ça passe sur Equinix (e.g. pour joindre #Gandi), le ping moyen passe à 145ms (test depuis Renater avec "mtr -rw www.gandi.net").

#NetworkManager 1.19.90 is broken, at least with #ethernet: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=933930 #Debian #Linux

To make browsing of some web sites much faster: "255.255.255.255 config.seedtag.com" in the /etc/hosts file.

Ce matin, je rapporte un problème via le GLPI de l'ENS-Lyon et mon texte s'est retrouvé tronqué. Ensuite, sur le RT d'Inria, autre problème et mon texte s'est retrouvé aussi tronqué! Ces systèmes ont des problèmes avec le caractère "<", pris comme du HTML!

The GNU #MPFR 4.0.2 release candidate is available. https://sympa.inria.fr/sympa/arc/mpfr/2019-01/msg00001.html

The mess with the "echo" utility: http://austingroupbugs.net/view.php?id=1222 #unix #posix #cli #shell

One can use more than 8 colors with #Coreutils LS_COLORS, but unfortunately this is undocumented. https://debbugs.gnu.org/cgi/bugreport.cgi?bug=33915 #unix #linux

Bug introduced in #zsh 5.6: :|{:|less} yields a "suspended (tty output)". Workaround: :|(:|less) http://www.zsh.org/mla/workers/2018/msg01183.html (Note: these are zsh #shell commands, not smileys.) #Linux #Unix

In #Debian: buggy regexp in locales.postinst yields useless locales regeneration when locales-all is installed (Debian bug 903964, which I've just reported). https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=903964

Is #POSIX going to break optimizing C compilers such as GCC or prevent some #security checks? https://www.mail-archive.com/austin-group-l@opengroup.org/msg02583.html (about Austin Group bug 1108)

Juste passer de #GitHub à de l'auto-hébergement n'est pas la solution, car le propriétaire (hébergeur) peut disparaître. Ce qu'il faut c'est pouvoir exporter toutes les données associées à un projet, avec accès public et un système d'archivage automatique par des tiers (pas seulement le code, ce que permet déjà git).
Au passage, j'avais cherché à récupérer toutes mes données juste avant d'apprendre le rachat par #Microsoft.

We are in 2018 and #libxml2 still does not support #https!

With #GCC, one can have integer variables that can be both equal and different at the same time! https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85957

Quand on s'est volontairement inscrit à une newsletter, on reçoit un mail #RGPD nous demandant si on souhaite continuer à la recevoir. Mais les spammeurs qui nous ont inscrits de force continuent à nous spammer comme si de rien n'était.