Vincent Lefèvre @vinc17@framapiaf.org
Chercheur en informatique (arithmétique des ordinateurs). Développeur de GNU MPFR. Cinéphile.
#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!
#Spamassassin (spamd) no longer works after upgrade to #Debian 9.3 (stretch). https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=884163
La SNCF indique dans les conditions d'utilisation d'un Code avantage: "Le Code avantage est valable 2 mois à compter de sa date d'émission." Mais le mien est valable du 28/10/2017 au 09/11/2017!!! Ça fait court les 2 mois!
Warning if #Firefox for #Android is upgraded to 55, you may lose some of your tabs: https://bugzilla.mozilla.org/show_bug.cgi?id=1379374
La prévision #météo de #Yahoo pour cette nuit et la journée qui suit à #Lyon: 28° à 2h, 31° à 3h, 32° de 4h à 6h, puis ça redescend… 28° à midi, 27° à 14h, 26° à 17h… Du grand n'importe quoi! Et un screenshot que j'avais pris tout à l'heure: https://framapiaf.org/media/OwbDi_ooZwmW0JX7EPw
Depuis ma machine chez SFR en #IPv6, la commande "wget -6 --debug http://www.cineduchere.fr/" se bloque à "HTTP request sent, awaiting response...". Pas de problème depuis ma VM chez Gandi. Est-ce que le problème vient de SFR ou du serveur web?
Note: http://ipv6-test.com/pmtud/ n'indique aucun problème de PMTUD depuis chez moi.
La commission Européenne est sur le point d'assouplir les critères donnant droits au label "Biologique".
A la clé : cultures hors-sols et pesticides autorisés et contrôles moins fréquents. En clair, le bio ne sera plus du bio mais seulement du "raisonné".
Le moment est venu de se sortir les appendices du rectum et de faire tourner le potager !
http://www.ledauphine.com/france-monde/2017/06/12/des-normes-moins-strictes-pour-l-agriculture-bio
Undefined behavior in C is sometimes useful for performance. Otherwise it is just madness. https://gcc.gnu.org/ml/gcc-help/2017-05/msg00139.html #programming
Suggested gcc-snapshot wrapper for #Debian:
#!/bin/sh
LD_LIBRARY_PATH=/usr/lib/gcc-snapshot/lib:$LD_LIBRARY_PATH
PATH=/usr/lib/gcc-snapshot/bin:$PATH
rpath=""
OLD_IFS="$IFS"
IFS=:
for i in $LD_RUN_PATH
do
rpath="$rpath -Wl,-rpath -Wl,$i"
done
IFS="$OLD_IFS"
exec gcc -Wl,-rpath -Wl,/usr/lib/gcc-snapshot/lib -Wl,-rpath -Wl,/usr/lib/gcc-snapshot/lib32 -Wl,-rpath -Wl,/usr/lib/gcc-snapshot/libx32 $rpath "$@"
See: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=862176#31
Bientôt on verra sur les câbles informatiques: "Ne pas utiliser pour l'escalade". http://www.leprogres.fr/faits-divers/2017/04/09/il-meurt-en-tentant-de-descendre-en-rappel-du-9e-etage et http://www.leprogres.fr/faits-divers/2017/05/07/chute-mortelle-il-s-etait-assure-avec-des-cables-informatiques
Hey #Mastodon, on a mis en place une petite option qui pourrait vous plaire sur Framapiaf.org : la possibilité de filtrer les pouets par instances/hashtags/mots clés !
C'est dans Préférences > Filtres.
On teste ça pendant le week-end et vous nous dites si ça vous plaît ?
https://framapiaf.org/media/UuNRAfG99Rg1ireNpgk
https://framapiaf.org/media/ZE-M-6TV29IToc1bMsY
@Solitaire Plusieurs serveurs POP? Le mieux avec POP, c'est de rapatrier les messages de tous les serveurs dans une seule BAL locale. J'utilisais getmail (fetchmail perdait du mail en cas d'erreur). Après config, pour utilisation avec plusieurs comptes: "getmail -rcompte1 -rcompte2 -rcompte3". On peut aussi utiliser #Mutt avec POP, mais ce n'est pas vraiment fait pour; si le but est d'avoir des BAL distantes, passer à IMAP.
@Solitaire Note que tu as la commande account-hook qui permet de sélectionner de manière dynamique la configuration liée à un "compte" (typiquement boîte-aux-lettres IMAP) ou un ensemble de comptes (par exemple, tous les comptes pour fixer des valeurs par défaut). Cf manuel de #Mutt, section "Managing Multiple Accounts".
@Solitaire La notion de compte mail n'a pas beaucoup de sens. Dans #Mutt, il y a la notion de boîtes-aux-lettres ("locales" ou IMAP). Et l'envoi de mail se fait typiquement par le MTA installé sur le système (puisque #Mutt n'est pas le seul à envoyer du mail); sinon, un seul "compte" suffit pour l'envoi.