Vincent Lefèvre @vinc17@framapiaf.org

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.

On a #Perl script with #MPFR computations in small/medium precision via Math::MPFR, I have noticed a speedup of 18% between #Debian 8 (jessie) and Debian/unstable, mostly due to Perl overhead!
Note: I have recompiled GMP, MPFR and Math::MPFR with GCC 4.9 on both machines. On a C program with a MPFR computation in a large precision, there is a 5% speedup, but I don't know why (both machines have the same processors at the same frequency, and AFAIK, both are HP Z800 machines).

Il y a un nouveau client #Mastodon sous #Debian: toot (mastodon cli client).
New Mastodon client under #Debian: toot.

Je viens de me rendre compte qu'à chaque fois que je lance une application sur mon smartphone sous #Android, #Google est au courant. Cf https://myactivity.google.com/myactivity où on a les dates et heures de chaque lancement d'application.

#GCC's #AddressSanitizer is not compatible with #glibc 2.27 on x86. https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84761

#GNU #Autoconf: AC_COMPILE_IFELSE can be unsafe as an undefined macro can turn into a valid function call. One may prefer AC_LINK_IFELSE (when applicable) for this reason. Example: https://gforge.inria.fr/scm/viewvc.php/mpfr/trunk/acinclude.m4?r1=12448&r2=12447&pathrev=12448 #autotools #unix

To check whether #KPTI is enabled on #Linux, but note that it can also be silently disabled for #Xen guests (so, do not wonder why the line is missing): https://security.stackexchange.com/questions/176624/how-do-i-check-if-kpti-is-enabled-on-linux/177470#177470

Pour ceux qui veulent mettre une carte dématérialisée dans l'application OUI.sncf (anciennement Voyages-sncf), le mot de passe ne doit contenir que des lettres (information donnée nulle part), sinon on obtient une erreur non informative "Identifiant incorrect"! Maintenant, le problème, c'est qu'on ne peut même pas modifier son mot de passe (s'il contenait des chiffres): même après changement "avec succès", c'est toujours l'ancien mot de passe qui est pris en compte par les serveurs de la #SNCF!