Vincent Lefèvre @vinc17

Now running #Firefox ESR in #firejail under #Debian. #security

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.

@nanardon Oui, c'est sur l'UPMC. Et ils filtrent aussi le ping. Et #mosh ne fonctionne pas, car il se base sur UDP.

Pfff... Le réseau du LIP6 filtre les machines du pool #NTP de #Debian!

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

@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.

#GCC can really be strange: adding an assignment yields a -Wmaybe-uninitialized false positive. PR80548 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80548

Une mission du CSPLA anti-Wikipédia. http://blog.wikimedia.fr/une-mission-du-cspla-anti-wikipedia-9902

On a donc une perdante de Condorcet qui arrive au second tour! https://fr.wikipedia.org/wiki/Crit%C3%A8res_de_syst%C3%A8mes_de_vote#Crit.C3.A8re_du_perdant_de_Condorcet #Présidentielle2017

Je viens de réécrire tout un passage de l'article #Wikipédia sur l'arrondi correct, à propos du dilemme du fabricant de tables: https://fr.wikipedia.org/wiki/Arrondi_correct #TMD #IEEE754

@guyou Oui, il faudrait privilégier la lecture. Les champs d'écriture pourraient s'étendre dynamiquement lorsqu'ils ont le focus (curseur).

@jlecorre Ça ne prouve rien. Ce n'est pas comme s'il n'y avait jamais eu d'histoire de trucage de logiciels, qui se comportent en fait normalement lors des tests et mal dans la pratique.