# Day changed to 1 janv. 2020 - Repos. # Day changed to 2 janv. 2020 - julm: Enregistrement du domaine sourcephile.fr. - julm: Achat d'un APU2D4 (mermet) et d'accessoires auprès de clemanis.fr. - julm: Ouverture d'un compte stripe.com et réactivation d'un compte liberapay.org. # Day changed to 3 janv. 2020 - julm: Recherches sur RAID1, LUKS et LVM pour mermet.sourcephile.fr. - julm: Discussion sur le Jugement Majoritaire, Helios-C et l'échantillonnage représentatif sur le compte julm@framapiaf.org du Fediverse. # Day changed to 4 janv. 2020 - julm: DDC8: Recherches sur ZFS et les SSD. # Day changed to 5 janv. 2020 - julm: DDC8: Recherches sur ZFS. # Day changed to 6 janv. 2020 - julm: DDC8: Révision3 de la DDC8. # Day changed to 7 janv. 2020 - julm: DDC8: Préparation du disque de mermet. - julm: Premier GRUB sur l’APU2E4. - julm: Premier Memtest86+ : 2h de test, pas d’erreur, température ~51°C. # Day changed to 8 janv. 2020 - julm: Préparation du disque de mermet. - julm: Premier prompt NixOS via port série puis SSH sur l’APU2E4. - julm: Configuration du chiffrement du swap. # Day changed to 9 janv. 2020 - julm: Préparation de l’orchestration de mermet. Premier déploiement NixOps de mermet. - julm: Réorganisation et simplification de toute la configuration Nix. - julm: Génération d’une clé OpenPGP julm@sourcephile.fr dont les sous-clés sont mises sur YubiKey 4. Il semble pas pertinent d’avoir une clé root@sourcephile.fr, mais plutôt une par membre qui a besoin. password-store permet d'utiliser plusieurs clés, et d’en changer pour des sous-dossiers spécifiques. # Day changed to 10 janv. 2020 - julm: Réorganisation et simplification de toute la configuration Nix. # Day changed to 11 janv. 2020 - julm: Réorganisation et simplification de toute la configuration Nix. - julm: Déboggage du nommage des interfaces réseau : https://github.com/NixOS/nixpkgs/pull/68953#issuecomment-573394801 - julm: Chiffrage et fixage du SSD dans l’APU2E4. - julm: Mises à l’épreuve de la config de boot de mermet. - julm: Mise-à-jour coreboot {v4.6.* => v4.11.0.2} sur mermet. - julm: Report de bug dans nixos-install : https://github.com/NixOS/nixpkgs/issues/77481#event-3317431193 # Day changed to 12 janv. 2020 - julm: Clarification et amélioration des modules shell de l’orchestration. # Day changed to 13 janv. 2020 - julm: Apprentissage et expérimentation de comment faire des sauvegardes manuelles avec zfs send/receive. - julm: Renseignement sur quelques outils de sauvegarde de ZFS : zfs-auto-snapshot (Bash), zfs_autobackup (Python), zfsnap (sh), znapzend (Perl), zrepl (Go). - julm: Préparation d’un disque externe de sauvegardes sous ZFS. - julm: Configuration d’un pare-feu IPv4/IPv6 shorewall sur mermet. # Day changed to 14 janv. 2020 - julm: Correction de la configuration du shorewall de mermet. - julm: Modification de la configuration des interfaces réseau de mermet. - julm: Configuration d’un cache DNS (unbound) sur mermet. - julm: Configuration d’un serveur DNS (NSD) sur mermet. # Day changed to 15 janv. 2020 - julm: Configuration des enregistrements DKIM. - julm: Configuration correcte du réseau dans l’initrd de mermet. ipconfig (ip=) n'est pas fiable, utilise ip address et ip route. Le module ipv6 doit être ajouté manuellement. - julm: Configuration d’un annuaire (OpenLDAP) sur mermet. - julm: Étude et commentaire de boot.network.ssh.host*Key. - julm: Début de configuration des certificats X.509. # Day changed to 16 janv. 2020 - julm: Amélioration diverses des outils Nix d’orchestration. - julm: Code d’un module pour faire des certificats X.509 auto-signés. - julm: Configuration de certificats X.509 auto-signés pour mermet. - julm: Tentatives infructueuses de faire baisser la consommation de RAM de NSD (~100Mio). - julm: Configuration d’un dépôt Git (gitolite) et d’une interface Web (gitweb) sur mermet. # Day changed to 17 janv. 2020 - julm: Test des DNS derrière la VDSL de La Renouée. - julm: Configuration d’un serveur de méls (postfix) sur mermet. - julm: Désactivation de l’emergency shell de systemd sur mermet. - julm: Installation de l’orchestration de mermet sur julm@mermet. - julm: Premier déploiement NixOS de mermet depuis mermet. - julm: Remerciement d’emilazy pour le déboggage du 2020-01-11 sur le nommage des interfaces réseau dans NixOS : https://github.com/NixOS/nixpkgs/pull/68953#issuecomment-575808294 # Day changed to 18 janv. 2020 - julm: Étude de home-manager. - julm: Étude de direnv pour accélerer .envrc : rien à faire du côté de DIRENV_DIFF. # Day changed to 19 janv. 2020 - julm: Accélération du chargement du .envrc en utilisant shasum sur les .nix. - julm: Réécriture en standalone du .envrc. # Day changed to 20 janv. 2020 - julm: Rackage de mermet aux PTTs de Tarnac. Cotisation à l’association PTT de 12€ (dont 2€ de prix libre) pour 2020, et hébergement pour à 5€/mois (dont 3€/mois pour une IPv4 : 80.67.180.129). # Day changed to 21 janv. 2020 - julm: Préparation d’un déploiement de mermet sur VirtualBox. # Day changed to 22 janv. 2020 - julm: Déploiement de mermet sur VirtualBox. # Day changed to 23 janv. 2020 - julm: Intervention sur mermet pour changer l’adresse de sa passerelle : 80.67.180.{248 => 134} - julm: Poursuite de la configuration de home-manager sur mermet. # Day changed to 24 janv. 2020 - julm: Amélioration de la configuration de Nix sur mermet. - julm: Amélioration de la configuration de Unbound sur mermet. - julm: Étude de DNSSEC. - julm: Enregistrement de la KSK de sourcephile.fr (Key Signing Key) via l’interface de Gandi. - julm: Première résolution DNSSEC pour sourcephile.fr. # Day changed to 25 janv. 2020 - julm: Correction de sudo sur mermet : comme NixOS met en dur "account required pam_unix.so" dans /etc/pam.d/sudo, il n’est pas possible de rajouter un compte dans le groupe wheel uniquement avec le LDAP, ce doit être fait dans /etc/group. - julm: Correction de dovecot2 : mailUser n’a pas `isSystemUser = true`. - julm: Installation d’un gestionnaire de boite méls (Dovecot2) sur mermet. - julm: Première réception de mél sur julm@sourcephile.fr. - julm: Première émission de mél depuis julm@sourcephile.fr. - julm: Installation d’un antispam (RspamD) sur mermet. # Day changed to 26 janv. 2020 - julm: Configuration de ManageSieve (le TLS ne fonctionne pas pour le moment). - julm: Configuration des dossiers IMAP4 spéciaux. - julm: Configuration de dovecot2 et rspamd pour l'apprentissage spam/ham selon le changement du flag IMAP "Junk" ou le déplacement dans ou depuis un dossier "Pourriel". - julm: Premier spam/ham sur le serveur via l'icône flamme de Thunderbird. # Day changed to 27 janv. 2020 - julm: Partage d’expérience sur l’emergency mode de systemd : https://discourse.nixos.org/t/nixos-went-to-systemd-emergency-mode/5647/5 # Day changed to 28 janv. 2020 - julm: Réflexion sur la gestion des clés OpenPGP. - julm: Étude du TOFU de gnupg. - julm: Configuration de neomutt sur mermet : IMAP ne semble pas bien supporté (pas de décompte des méls non-lus, et pas moyen de mettre des flags IMAP). - julm: Test de notmuch, notmuch-emacs-mua et alpine. - julm: Étude des nitrokeys, solokeys, yubikeys. # Day changed to 29 janv. 2020 - julm: Étude de K-9 Mail. - julm: Étude d'OpenKeyChain. - julm: Empaquetage NixOS du plugin fts-xapian pour Dovecot2 et écriture d’une PR pour Nixpkgs : https://github.com/NixOS/nixpkgs/pull/78780 - julm: Déboguage de la configuration de dovecot, ôte notamment INDEXPVT == INDEX qui est absurde et corrompait INDEX. - julm: Correction du DKIM lors de l’envoi : permissions vers /run/keys/ # Day changed to 30 janv. 2020 - julm: Le sell.nix de Sourcephile récupère maintenant le $PATH de l’hôte. - julm: Utilisation de mailStorageDirectory pour pouvoir utiliser neomutt en local sur mermet avec maildir: tout en laissant sdbox: comme format de stockage par défaut des boîtes méls. - julm: Meilleure réutilisation des options Dovecot de Nixpkgs. - julm: Polissage de la configuration de Dovecot sur mermet. # Day changed to 31 janv. 2020 - julm: Optimisation de l'envoi des clés sur mermet. - julm: Polissage et correction de la configuration de Rspamd. - julm: Demande de correction des options du service NSD de nixpkgs : https://github.com/NixOS/nixpkgs/pull/78968 - julm: Élaboration d’un moyen de rustiner nixpkgs localement depuis un shell.nix : https://logs.nix.samueldr.com/nixos-fr/2020-01-31#3020648; # Day changed to 1 févr. 2020 - julm: Migration des ajouts à Nixpkgs des overlays aux rustines. - julm: Amélioration de l'environnement du nix-shell et du rustinage de Nixpkgs. # Day changed to 2 févr. 2020 - julm: Préparation de l'hébergement multi-domaines. - Amélioration de la sécurité des mots de passe méls. # Day changed to 3 févr. 2020 - julm: Activation du support de SHA2 et PBKDF2 dans le OpenLDAP de NixOS. # Day changed to 4 févr. 2020 - julm: Étude d'une machine de build : KPGE-D16, Opteron 62xx, CH341A pour P-DIP8 25xx SPI, DDR3 1600 RDIMM, Nanoxia Deep Silence 5, Noctua NF-A12x25 PWM, Seasonic PRIME (Modular|Fanless) 80+ (Platinium|Titanium). # Day changed to 5 févr. 2020 - julm: Réorganisation de la configuration pour supporter un domaine configuré différemment : autogeree.net # Day changed to 6 févr. 2020 - julm: Tentative de configuration du multi-certificats X.509 de Postfix. # Day changed to 7 févr. 2020 - julm: Correction de la configuration multi-certificats X.509 de Postfix : tls_server_sni_maps ne fonctionnait pas avec smtpd_tls_eecdh_grade = "ultra" ou "strong", donnant : "mermet postfix/smtpd[10207]: warning: key at index 1 in SNI data for mail.autogeree.net does not match next certificate" # Day changed to 8 févr. 2020 - julm: Étude de coredumps sur mermet. - julm: Configuration du multi-certificats X.509 dans Dovecot. - julm: Configuration du multi-domaines dans Neomutt. # Day changed to 9 févr. 2020 - julm: Étude de la configuration NixOS pour obtenir des certificats X.509 signés par Let's Encrypt avec simp_le. - julm: Passage de mermet à nixpkgs-master pour tester le remplaçement de simp_le par lego dans la PR#77578. # Day changed to 10 févr. 2020 - julm: Redémarrage de mermet sur linux-5.4.17. - julm: Étude de knot pour remplacer nsd4 qui ne supporte pas la RFC2136 utile pour avoir un certificat avec wildcard signé par Let's Encrypt. # Day changed to 11 févr. 2020 - julm: Remplacement de nsd4 par knot, en préservant les clés DNSSEC (KSK et ZSK) actives. - julm: Doublement de l’ARC du ZFS de mermet pour éviter une saturation de ses CPUs, début de surveillance manuelle avec `arc_summary` et les threads noyaux dans `htop`. # Day changed to 12 févr. 2020 - julm: Soumission et retrait du workaround pour keymgr : https://github.com/NixOS/nixpkgs/pull/79928 - julm: Génération d’un certificat X.509 `*.sourcephile.fr` avec lego en utilisant la méthode DNS-01 d’ACMEv2. - julm: Configuration de Let's Encrypt dans nginx. # Day changed to 13 févr. 2020 - julm: Correction des services NixOS de shorewall : https://github.com/NixOS/nixpkgs/pull/80154 # Day changed to 14 févr. 2020 - julm: Correction du chemin des plugins du dstat de Nixpkgs : https://github.com/NixOS/nixpkgs/pull/80151 - julm: Rapport de bogue dans direnv : https://github.com/direnv/direnv/issues/591 # Day changed to 24 févr. 2020 - julm: Réparation de l'environnement Haskell et PureScript. # Day changed to 26 févr. 2020 - julm: Étude de Prometheus, Graphite, Telegraf, Grafana. # Day changed to 27 févr. 2020 - julm: Renommage de hjugement en judgmentphile. - julm: Poursuite de judgmentphile-web. # Day changed to 28 févr. 2020 # Day changed to 29 févr. 2020 - julm: Renommage de hdoc en textphile. - julm: Réécriture de la ligne de commande de textphile avec le nouveau symantic-cli. - julm: Étude de machines de build basse conso et sans-bruit pour auto-hébergement chez un·e proche : le CPU basse-conso AMD Ryzen V1605B donnerait tout aussi bien que le i7-620M du x201, le refroidissement passif sans ventilation éviterait tout bruit, un port NVMe M.2 2280 supporterait un disque de travail très rapide, et un port SSD SATA 2.5" supporterait un disque interne de sauvegardes et autres stockages. https://mitxpc.com/products/ibox-v1000 # Day changed to 1 mars 2020 - julm: Recodage de la CLI de textphile en utilisant symantic-cli. # Day changed to 2 mars 2020 - julm: Recodage de la CLI de textphile en utilisant symantic-cli. # Day changed to 3 mars 2020 - julm: Recodage de la CLI de textphile en utilisant symantic-cli. # Day changed to 3 mars 2020 - julm: Migration de la zone DNS autogeree.net vers mermet. - julm: Création d’un certificat X.509 pour autogeree.net signé par Let's Encrypt. - julm: Correction d’un bug dans le service shorewall de NixOS : https://github.com/NixOS/nixpkgs/pull/81774 # Day changed to 4 mars 2020 # Day changed to 5 mars 2020 # Day changed to 6 mars 2020 - julm: Migration de l’Irssi de julm de chomsky à mermet. # Day changed to 7 mars 2020 - julm: Mise en ligne de www.sourcephile.fr pour publier quelques papiers scientifiques et/ou philsophiques. # Day changed to 8 mars 2020 - julm: DDC9: Changement de plaidoirie en passant du KPGE-D16 pour l'alternative iBox-V1000. # Day changed to 9 mars 2020 - julm: DDC9: Études de l'iBox-V1000, de transformateurs USB et d'écrans USB. # Day changed to 10 mars 2020 - julm: Réemploi d'une dalle LG 10.1", en fixant ses circuits imprimés sur du carton, et en utilisant le socle d'un clavier Keys-to-Go. - julm: Commande de 3 transformateurs de tension ZK-DP3D pour alimenter la dalle LG 10.1" et un futur mini-PC. # Day changed to 11 mars 2020 - julm: Configuration d'adv_windowlist.pl et nickcolor.pl pour Irssi. - julm: Ajout d'un robots.txt pour Gitweb. - julm: Ajout d'un microcache pour Gitweb. - julm: Répartition des logs nginx par virtual host et au format JSON. # Day changed to 12 mars 2020 - julm: Correction de la soumission de méls à postfix. # Day changed to 13 mars 2020 - julm: DDC9: Changement de plaidoirie en passant de l'iBox-V1000 au Shuttle XPC Slim DL10J. - julm: Achat d'un Shuttle XPC Slim DL10J (losurdo) comme machine de dév très basse conso. - julm: Mise-à-jour pour utiliser le dernière version de nixpkgs du channel nixos-unstable-small. # Day changed to 14 mars 2020 # Day changed to 15 mars 2020 - julm: Réorganisation des configurations Nix en prévision de la nouvelle machine (losurdo). # Day changed to 16 mars 2020 - julm: losurdo: Configuration initiale. # Day changed to 17 mars 2020 - julm:losurdo: Installation de NixOS. # Day changed to 18 mars 2020 - julm: losurdo: Clarification et tests du bootstrap. - julm: losurdo: Pivotement de l'installation de losurdo de la carte SD au NVMe. - julm: losurdo: Repivotement sur la carte SD car le Samsung 970 NVMe M.2 n'est pas supporté par le bootloader du DL10J pour le moment (version DL10J000.104). - julm: losurdo: Réduction de la partition EFI à 8Mio et suppression du swap sur la carte SD. # Day changed to 19 mars 2020 - julm: losurdo: Conservation de /boot et /boot/efi sur la carte SD, et migration de / sur le disque NVMe. # Day changed to 20 mars 2020 - julm: sysadmin: Mise-à-jour pour utiliser le dernière version de nixpkgs du channel nixos-unstable-small. - julm: sysadmin: Rappatriement des dépôts Git délaissés encore sur chomsky.autogeree.net. - julm: dev: Empaquettement Perl et Nix de git-remote-gpg. - julm: dev: Corrections mineures dans git-remote-gpg. - julm: sysadmin: Utilisation de git-remote-gpg pour les données secrètes (sec/). - julm: sysadmin: Correction de la duplication de nixpkgs dans le /nix/store due à pkgs.path. # Day changed to 21 mars 2020 - julm: dev: haskell: Étude de all-hies et haskell-ide-engine, lts-15.4 (ghc-8.8.3) pas encore supportée. - julm: dev: vim: Étude de coc.nvim et LanguageClient-neovim. # Day changed to 21 mars 2020 - julm: dev: vim: Étude de vim-lsc, LanguageClient-neovim, coc.nvim (avec coc-json et éventuellement coc-list), et ALE. ALE est bien supérieur. # Day changed to 22 mars 2020 - julm: dev: vim: Étude de vim-indent-guides, indentLine et vim-indentguides. indentLine fait l'affaire pour afficher quasiment comme avec des tabulations. - julm: dev: vim: Adaptation du foldtext à du sans-tabulations. # Day changed to 23 mars 2020 - julm: aide: nix: https://discourse.nixos.org/t/better-way-to-use-nixpkgs-git-repo/6376 # Day changed to 24 mars 2020 - julm: dev: vim: ALE: essai de correction de signalement de l'activité du LSP dans ALE. # Day changed to 25 mars 2020 # Day changed to 26 mars 2020 - julm: dev: vim: ALE: réécriture robuste au réordonamcement des réponses du signalement de l'activité du LSP dans ALE : https://github.com/dense-analysis/ale/pull/3076 - julm: aide: nix: rétractation d'une précédante recommandation qui n'est valide que dans un cas très spécifique. # Day changed to 27 mars 2020 - julm: dev: vim: ALE: configuration du complètement et autres. - julm: adminsys: newsboat: configuration. - julm: dev: shell: podl: script pour automatiser le téléchargement de podcasts. # Day changed to 28 mars 2020 - julm: dev: perl: gitweb: correction de l'encodage UTF-8 en FastCGI, sauf dans git_blob_plain() et git_snapshot() : http://public-inbox.org/git/20200329002028.26080-1-julm+git@sourcephile.fr/ - julm: dev: direnv: correction d'un rechargement à chaque prompt du .envrc lors d'un touch sur un fichier suivi. - julm: adminsys: postfix: désactivation de reject_unverified_recipient qui ne fonctionne pas lorsque le destinataire fait du greylisting. - julm: adminsys: mail: fts_xapian: mise-à-jour vers la 1.2.11a : https://github.com/NixOS/nixpkgs/pull/78780 - julm: adminsys: backup: étude de syncoid (Perl) et sanoid, ainsi que de leur récente intégration à NixOS. Installation sur losurdo (syncoid) et mermet (sanoid). # Day changed to 29 mars 2020 - julm: adminsys: backup: Mise en place de sauvegardes automatiques de mermet vers losurdo. # Day changed to 30 mars 2020 # Day changed to 31 mars 2020 - julm: dev: nix: syncoid: correction : https://github.com/NixOS/nixpkgs/pull/83901 - julm: dev: nix: sanoid: correction : https://github.com/NixOS/nixpkgs/pull/83904 # Day changed to 1 avril 2020 - julm: dev: nix: sanoid: correction : https://github.com/NixOS/nixpkgs/pull/83904 - julm: dev: haskell: textphile: remplacement des tabulations par des espaces. # Day changed to 2 avril 2020 - julm: dev: haskell: textphile: remise en fonction, mais réécriture from scratch envisagée pour mieux tout avoir en tête l'état d'avancement de chaque morceaux de code, et la direction à donner à chaque fonctionnalité : compilateur ou wiki ? - julm: dev: haskell: symantic-xml: début de réécriture de Sym.hs en API.hs selon la méthode printf/scanf développée dans symantic-http et symantic-cli. # Day changed to 3 avril 2020 # Day changed to 4 avril 2020 - julm: adminsys: dovecot: remise en marche des filtres sieve. # Day changed to 5 avril 2020 - julm: dev: haskell: symantic-xml: poursuite d'API.hs # Day changed to 6 avril 2020 - julm: dev: haskell: symantic-xml: réécriture de la validation RelaxNG. # Day changed to 7 avril 2020 - julm: recherche: haskell: symantic-xml: construction automatique de l'injection et de la projection tuple <-> datatype pour `dimap` . - julm: conseil: hébergement: conseils pour la restauration d'un site Web de voisin.nes, dont l'hébergeur est en cessation d'activités. # Day changed to 8 avril 2020 - julm: recherche: haskell: symantic-xml: approfondissement de `GHC.Generics` pour convertir automatiquement entre `Either` et data types via `to . coerce . from`. # Day changed to 9 avril 2020 - julm: recherche: haskell: symantic-xml: amélioration de `eotOfadt` et `adtOfeot`. Cependant il ne semble pas possible de produire l'arbre binaire des alternatives `(:+:)` à partir d'une imbrication associée à droite des `Either`. # Day changed to 10 avril 2020 - julm: recherche: haskell: symantic-xml: étude de `generics-sop` pour fournir l'arborescence de `(:+:)` attendue par `GHC.Generics`. # Day changed to 11 avril 2020 - julm: adminsys: installation de https://github.com/LAB-MI/deplacement-covid-19/ dans https://covid19.sourcephile.fr # Day changed to 12 avril 2020 - julm: recherche: haskell: symantic-xml: intégration de `generics-sop`. # Day changed to 13 avril 2020 - julm: recherche: haskell: symantic-xml: amélioration de l'intégration de `generics-sop`. - julm: recherche: haskell: haskell-ide-engine: report d'un bug: https://github.com/haskell/haskell-ide-engine/issues/1740 # Day changed to 14 avril 2020 - julm: recherche: haskell: symantic-xml: extraction de `generics-sop` pour ne garder que le nécessaire. # Day changed to 15 avril 2020 - julm: recherche: haskell: symantic-xml: optimisation supprimant SOP comme intermédiaire entre GHC.Generics.Rep et l'imbrication d'Either et Tuples. - julm: dév: nix: tremc: création du package https://github.com/NixOS/nixpkgs/pull/85323 - julm: adminsys: torrent: installation de transmission sur losurdo. # Day changed to 16 avril 2020 - julm: dev: nix: stig: améĺiore le package https://github.com/NixOS/nixpkgs/pull/85364 https://github.com/rndusr/stig/issues/133 # Day changed to 17 avril 2020 - julm: recherche: haskell: symantic-xml: explications de Generic.hs. # Day changed to 18 avril 2020 - julm: recherche: haskell: symantic-xml: poursuite de la réécriture. # Day changed to 19 avril 2020 - julm: recherche: haskell: symantic-xml: poursuite de la réécriture. # Day changed to 20 avril 2020 - julm: recherche: haskell: symantic-xml: poursuite de la réécriture. # Day changed to 21 avril 2020 - julm: recherche: haskell: symantic-xml: poursuite de la réécriture. # Day changed to 22 avril 2020 - julm: recherche: haskell: symantic-xml: passage des attributs en HashMap. # Day changed to 23 avril 2020 - julm: recherche: haskell: symantic-xml: tests d'usage mémoire avec `weigh` pour comparer différentes manières de mettre `Sourced` dans `Tree`. # Day changed to 24 avril 2020 - julm: recherche: haskell: symantic-xml: différenciation de la validation des `attribute`. # Day changed to 25 avril 2020 - julm: adminsys: losurdo: coupure électrique. - julm: recherche: haskell: symantic-xml: différenciation de la validation des `attribute`. # Day changed to 26 avril 2020 - julm: adminsys: knot: ajout de `whoami4.sourcephile.fr`. # Day changed to 27 avril 2020 # Day changed to 28 avril 2020 - julm: dev: haskell: symantic-xml: réécriture et correction de l'écriture du XML. # Day changed to 29 avril 2020 - julm: dev: haskell: symantic-xml: réécriture et correction de l'écriture du XML. Gérer les `attribute`s dans `element` serait plus logique, mais moins pratique et incompatible avec RelaxNG. Néanmoins cela est possible dans `NodeElem`, ce qui supprime `NodeAttr`. - julm: adminsys: netdata: test sur losurdo. # Day changed to 30 avril 2020 - julm: dev: haskell: symantic-xml: achèvement de la correction des tests. # Day changed to 1 mai 2020 # Day changed to 2 mai 2020 - julm: dev: haskell: symantic-xml: écriture du rendu RelaxNG Compact. # Day changed to 3 mai 2020 - julm: dev: haskell: symantic-xml: écriture du rendu RelaxNG Compact. # Day changed to 4 mai 2020 - julm: dev: haskell: symantic-xml: écriture de tests. # Day changed to 5 mai 2020 - julm: dev: haskell: symantic-xml: écriture de tests. # Day changed to 6 mai 2020 - julm: dev: haskell: symantic-xml: écriture de tests. # Day changed to 7 mai 2020 - julm: dev: haskell: symantic-xml: écriture de tests. # Day changed to 8 mai 2020 - julm: dev: haskell: symantic-xml: écriture de tests. # Day changed to 9 mai 2020 - julm: dev: haskell: symantic-xml: écriture du schema d'Atom pour tester. # Day changed to 10 mai 2020 - julm: dev: haskell: symantic-xml: écriture du schema d'Atom pour tester. - julm: dev: nix: ajout de julm comme maintainers dans Nixpkgs : https://github.com/NixOS/nixpkgs/pull/78780#discussion_r422487072 - julm: dev: haskell: symantic-base: extraction dans symantic-xml. # Day changed to 11 mai 2020 - julm: dev: haskell: symantic-xml: écriture du schema d'Atom pour tester. # Day changed to 12 mai 2020 - julm: dev: haskell: symantic-xml: tests des diagnostiques d'erreurs de la validation RelaxNG. # Day changed to 13 mai 2020 - julm: dev: haskell: symantic-xml: réorganisations et réflexions pour implémenter les name-class de RelaxNG. # Day changed to 14 mai 2020 - julm: dev: nix: sourcephile-nix: prise en main avancée de l'infrastructure de tests de NixOS pour l'adapter à sourcephile-nix. # Day changed to 15 mai 2020 - julm: dev: nix: sourcephile-nix: correction du rechargement des services dépendant du certificat X.509 venant de Let's Encrypt. - julm: dev: nix: sourcephile-nix: début de réorganisation de la configuration pour permettre les tests. # Day changed to 16 mai 2020 - julm: assoce: réponse à une demande spontannée de VM de la part d'un développeur. # Day changed to 17 mai 2020 - julm: dev: nix: sourcephile-nix: étude et amélioration des modules de configuration. # Day changed to 18 mai 2020 - julm: dev: nix: sourcephile-nix: remplacement du déploiement NixOps par un script shell. - julm: dev: nix: sourcephile-nix: génération depuis un .nix du script shell de déploiement. # Day changed to 19 mai 2020 - julm: dev: haskell: symantic-xml: ajout des classes de noms pour RelaxNG. - julm: dev: haskell: symantic-xml: continuation de l'écriture du test Atom. # Day changed to 20 mai 2020 - julm: research: haskell: lecture de http://okmij.org/ftp/tagless-final/TaglessStaged/ # Day changed to 21 mai 2020 - julm: dev: haskell: symantic-xml: continuation de l'écriture du test Atom. - julm: dev: haskell: symantic-base: extraction depuis symantic-xml. - julm: dev: haskell: symantic-atom: extraction depuis symantic-xml. # Day changed to 22 mai 2020 - julm: dev: haskell: symantic-xml: peaufinage. # Day changed to 23 mai 2020 - julm: dev: haskell: symantic-xml: peaufinage. # Day changed to 24 mai 2020 - julm: dev: haskell: symantic-xml: écriture du rendu direct depuis l'EDSL (Symantic.XML.Write). # Day changed to 25 mai 2020 - julm: dev: haskell: symantic-xml: premier jet de ReadOptim. - julm: dev: haskell: symantic-cli: mise à jour du style du code. - julm: dev: haskell: symantic-cli: préparation à utiliser symantic-base. # Day changed to 26 mai 2020 - julm: dev: haskell: symantic-xml: essai d'optimisation du schéma de validation en regroupant les élements alternatifs attendus au même endroit dans une Map, plutôt que de les essayer un après l'autre avec (<+>). Cela correspond à peu de choses près à ce qui est déjà implémenté dans symatic-cli et symantic-http-server. Toutefois la transformation devra être corrigée dans le cas des permutations. - julm: adminsys: public-inbox: test sur mermet et report de problèmes sur https://github.com/NixOS/nixpkgs/pull/77450. # Day changed to 27 mai 2020 - julm: adminsys: public-inbox: configuration du serveur NNTP. - julm: adminsys: neomutt: configuration en tant que client NNTP. # Day changed to 28 mai 2020 - julm: adminsys: neomutt: configuration en tant que client NNTP. - julm: adminsys: nix: correction de l'envoi des overlays sur les machines. - julm: adminsys: public-inbox: report d'un bug d'encodage Unicode : https://public-inbox.org/meta/20200528151216.l7vmnmrs4ojw372g@sourcephile.fr/T/ - julm: adminsys: mlmmj: test sur mermet. # Day changed to 29 mai 2020 - julm: dev: nix: nixos: mlmmj: récriture du module pour le rendre plus configurable. # Day changed to 30 mai 2020 - julm: adminsys: public-inbox: création des boîtes publiques : - atelier@sourcephile.fr - bar@sourcephile.fr - ecole@sourcephile.fr - environnement@sourcephile.fr - labo@sourcephile.fr - machines@sourcephile.fr - pont@sourcephile.fr - julm: research: ddc10 # Day changed to 31 mai 2020 - julm: adminsys: public-inbox: désactivation du rejet des méls HTML pour une plus grande accessibilité. - julm: research: ddc10 # Day changed to 1 juin 2020 - julm: research: ddc10: Le rôle stratégique du télécapteur Linky pour sécuriser l'électrification décarbonante de la France aux horizons 2030 et 2050 # Day changed to 2 juin 2020 - julm: research: ddc10 - julm: adminsys: public-inbox: ajout d'une feuille de style CSS. # Day changed to 2 juin 2020 - julm: assoce: réponse à une demande spontannée de base SQL pour expérimenter Open Concerto en multi-postes. # Day changed to 3 juin 2020 - julm: dev: nix: home-manager: broot: correction de l'installation : https://github.com/rycee/home-manager/pull/1303 - julm: dev: nix: nixpkgs: stig: mise-à-jour : https://github.com/NixOS/nixpkgs/pull/89557 # Day changed to 4 juin 2020 - julm: research: ddc10 # Day changed to 5 juin 2020 - julm: research: ddc10 # Day changed to 6 juin 2020 - julm: research: ddc10 - julm: adminsys: activation de zramSwap. # Day changed to 7 juin 2020 - julm: research: ddc10: premier jet pour relecture par des ami.es. # Day changed to 8 juin 2020 - julm: research: ddc10: v4 # Day changed to 9 juin 2020 - julm: research: ddc10: v5 # Day changed to 10 juin 2020 - julm: adminsys: nix: préparation de postgresql sur losurdo. # Day changed to 11 juin 2020 - julm: adminsys: nix: acme: configuration de lego sur losurdo pour utiliser knot sur mermet. - julm: adminsys: nix: préparation de postgresql sur losurdo. # Day changed to 12 juin 2020 - julm: research: ddc10: v6: - Phase: ConstructionDeConsensus - Envoi. - julm: adminsys: nix: préparation de postgresql sur losurdo. # Day changed to 13 juin 2020 - julm: adminsys: nix: préparation de postgresql sur losurdo. # Day changed to 14 juin 2020 - julm: adminsys: postgresql: mise en service sur losurdo de la base openconcerto1 pour expérimentations par des voisin.nes. # Day changed to 15 juin 2020 - julm: adminsys: fail2ban: test sur losurdo avec shorewall. # Day changed to 16 juin 2020 - julm: adminsys: fail2ban: test sur losurdo avec shorewall. # Day changed to 17 juin 2020 - julm: adminsys: sécurité: utilisation de `profiles/hardened.nix`. - julm: adminsys: nftables: remplacement de shorewall sur losurdo ; la maintenance de shorewall est incertaine (le dév principal de plus de 70 ans a annoncé qu'il diminuait/stoppait les mises-à-jour), et shorewall n'apporte plus grand chose avec nix et nftables. # Day changed to 18 juin 2020 - julm: research: ddc10: v6: corrections mineures. - julm: adminsys: fail2ban: test sur losurdo avec nftables. # Day changed to 19 juin 2020 - julm: adminsys: fail2ban: mise en production sur losurdo. # Day changed to 20 juin 2020 - julm: dev: nix: ébauche du module `security.pass`. # Day changed to 21 juin 2020 - julm: dev: nix: amélioration du module `security.pass` : plus d'envoi par ssh mais intégration des .gpg dans le Nix store. # Day changed to 22 juin 2020 - julm: adminsys: nix: mise en production du nouveau module `security.pass` sur losurdo. # Day changed to 23 juin 2020 - julm: dev: nix: amélioration du module `security.pass`. # Day changed to 24 juin 2020 - julm: dev: nix: amélioration du module `security.pass`. - julm: dev: nix: amélioration du module `installer.ssh-nixos`. - julm: adminsys: nix: mise en production du nouveau module `security.pass` sur mermet. # Day changed to 25 juin 2020 - julm: adminsys: sécurité: utilisation de `profiles/hardened.nix` sur mermet. - julm: adminsys: sécurité: remplacement de shorewall par nftables sur mermet. - julm: adminsys: sécurité: installation de fail2ban sur mermet. - julm: adminsys: sécurité: test de dovecot-2.3.10 avec ASAN, car il ne marche pas avec Scudo. # Day changed to 26 juin 2020 - julm: research: ddc10: v7rc1: étude de la puissance réactive. - julm: adminsys: nix: mise-à-jour vers le dernier nixos-unstable-small sur losurdo. # Day changed to 27 juin 2020 - julm: research: ddc10: v7rc2: étude du suivi de charge des centrales nucléaires. - julm: dev: nix: amélioration du module `services.transmission`. # Day changed to 28 juin 2020 - julm: dev: nix: amélioration du module `services.transmission`. # Day changed to 29 juin 2020 - julm: research: ddc10: v7rc3: étude du disjoncteur BACO/Legrand. - julm: assoce: lecture du marché public DGFiP DGSSI 2000017 https://www.marches-publics.gouv.fr/index.php?page=entreprise.EntrepriseDownloadReglement&reference=NTkxNzM4&orgAcronyme=a4n # Day changed to 30 juin 2020 - julm: dev: nix: amélioration du module `services.transmission`. # Day changed to 1 juillet 2020 - julm: dev: nix: amélioration du module `services.transmission`. # Day changed to 2 juillet 2020 - julm: research: ddc10: v7: envoi. - julm: dev: nix: proposition du module `services.transmission` : https://github.com/NixOS/nixpkgs/pull/92106 # Day changed to 3 juillet 2020 - julm: dev: nix: amélioration du module `services.transmission`. # Day changed to 4 juillet 2020 - julm: dev: nix: amélioration du module `services.transmission`. # Day changed to 5 juillet 2020 - julm: dev: nix: amélioration du module `services.transmission`. - julm: dev: haskell: symantic-xml: préparation de l'introduction de ReadOptim. # Day changed to 6 juillet 2020 - julm: adminsys: postgresql: test de pg_dump et pg_restore. - julm: adminsys: postgresql: full_page_writes=off permis par ZFS. # Day changed to 7 juillet 2020 - julm: dev: haskell: symantic-xml: préparation de l'introduction de ReadOptim. # Day changed to 8 juillet 2020 - julm: adminsys: mermet: intervention aux PTTs pour rétablir l'initrd (ne pas mettre la clé du serveur OpenSSH dans /run mais /root). - julm: adminsys: backup: export des bases PostgreSQL de losurdo vers mermet. - julm: adminsys: postgresql: création d'une base OpenConcerto pour La Bascule. # Day changed to 9 juillet 2020 - julm: dev: haskell: symantic-xml: préparation de l'introduction de ReadOptim. # Day changed to 10 juillet 2020 - julm: dev: haskell: symantic-xml: abandon de ReadOptim pour Parser. # Day changed to 11 juillet 2020 - julm: dev: haskell: symantic-xml: passage de Parser en Church encoding. # Day changed to 12 juillet 2020 - julm: dev: haskell: symantic-xml: support des parsers récursifs mais échec avec les alternatives. # Day changed to 13 juillet 2020 - julm: dev: nix: amélioration du module `services.transmission`. # Day changed to 14 juillet 2020 - julm: dev: nix: amélioration du module `services.transmission`. # Day changed to 15 juillet 2020 - julm: aide: passage de rtl8723de à rtw88 dans Ubuntu-18.04 # Day changed to 16 juillet 2020 - julm: dev: nix: réécriture du module `security.apparmor`. - julm: dev: bash: amélioration du script `podl`. # Day changed to 17 juillet 2020 - julm: dev: nix: amélioration du module `security.apparmor`. # Day changed to 18 juillet 2020 - julm: dev: nix: amélioration du module `security.apparmor`. # Day changed to 19 juillet 2020 - julm: dev: nix: amélioration du module `security.apparmor` : - julm: dev: nix: demande d'intégration en amont des améliorations du module `security.apparmor`: https://github.com/NixOS/nixpkgs/pull/93457 # Day changed to 20 juillet 2020 - julm: dev: nix: amélioration du module `security.apparmor`. - julm: dev: nix: amélioration du module `services.transmission`. # Day changed to 21 juillet 2020 - julm: dev: nix: factorisation des évaluations de configurations NixOS dans `machines.nix`. - julm: dev: nix: amélioration du module `installer.ssh-nixos`. - julm: dev: nix: correction du module `security.pass`. # Day changed to 22 juillet 2020 - julm: dev: nix: petites améliorations de l'usage fait de `nixpkgs`. - julm: dev: nix: proposition du module `services.croc` : https://github.com/NixOS/nixpkgs/pull/93629 - julm: dev: nix: proposition du module `security.pass` : https://github.com/NixOS/nixpkgs/pull/93659 # Day changed to 23 juillet 2020 - julm: dev: nix: amélioration du module `security.pass` en `security.gnupg`. # Day changed to 24 juillet 2020 - julm: dev: nix: amélioration du module `security.gnupg`. # Day changed to 25 juillet 2020 - julm: dev: nix: amélioration du module `services.transmission`. - julm: adminsys: lhc: stretch -> buster # Day changed to 26 juillet 2020 - julm: dev: nix: amélioration du module `services.transmission`. # Day changed to 27 juillet 2020 - julm: dev: nix: amélioration du module `services.transmission`. - julm: adminsys: lhc: roundcube, zramswap # Day changed to 28 juillet 2020 - julm: dev: nix: amélioration du module `services.transmission`. # Day changed to 29 juillet 2020 - julm: dev: nix: amélioration du module `services.transmission`. # Day changed to 30 juillet 2020 - julm: dev: nix: amélioration du module `services.transmission`. # Day changed to 31 juillet 2020 - julm: adminsys: nix: configuration d'un intranet avec wireguard. # Day changed to 1 août 2020 - julm: adminsys: nix: dépannage de losurdo : nftables ne se chargeait pas durant le stage2 à cause d'un postStart voulant démarrer fail2ban. - julm: dev: nix: correction de boot.initrd.network.flushBeforeStage2: https://github.com/NixOS/nixpkgs/pull/94531 # Day changed to 2 août 2020 - julm: adminsys: prosody: test du serveur XMPP sur losurdo. - julm: adminsys: coturn: installation sur mermet. # Day changed to 3 août 2020 - julm: adminsys: coturn: tests de STUN et TURN entre deux port restricted cone NAT. # Day changed to 4 août 2020 - julm: dev: nix: amélioration du module `services.transmission`. - julm: assoce: projet de Navirezo. # Day changed to 5 août 2020 - julm: dev: nix: amélioration du module `security.apparmor`. # Day changed to 6 août 2020 - julm: dev: nix: amélioration du module `services.transmission`. - julm: dev: nix: intégration du module `services.transmission` dans Nixpkgs : https://github.com/NixOS/nixpkgs/pull/92106 # Day changed to 7 août 2020 - julm: dev: nix: mise-à-jour de prosody-modules : https://github.com/NixOS/nixpkgs/pull/94916 - julm: dev: nix: création du module `services.biboumi` : https://github.com/NixOS/nixpkgs/pull/94917 # Day changed to 8 août 2020 - julm: research: environnement: ddc#: réduction rationnelle de l'impact environnemental des habitants de Gentioux-Pigerolles, en l'an -29 avant Jugement Carbone # Day changed to 9 août 2020 - julm: research: environnement: ddc# # Day changed to 10 août 2020 - julm: research: environnement: ddc# # Day changed to 11 août 202# - julm: dev: nix: migration vers `flake.nix`. # Day changed to 12 août 2020 - julm: dev: nix: migration vers `flake.nix`. # Day changed to 13 août 2020 - julm: dev: nix: migration vers `flake.nix`. # Day changed to 14 août 2020 - julm: adminsys: dépannage NAS à Court-Circuit. # Day changed to 15 août 2020 - julm: adminsys: migration vers ZFS et NixOS 20.09 de patate200. # Day changed to 16 août 2020 - julm: dev: nix: migration vers `flake.nix`. # Day changed to 17 août 2020 # Day changed to 18 août 2020 # Day changed to 19 août 2020 - julm: dev: nix: migration vers `flake.nix`. # Day changed to 20 août 2020 # Day changed to 21 août 2020 - julm: dev: nix: amélioration du module `security.apparmor`. # Day changed to 22 août 2020 - julm: dev: nix: amélioration du module `security.apparmor`. # Day changed to 23 août 2020 # Day changed to 24 août 2020 # Day changed to 25 août 2020 - julm: dev: nix: proposition de correction de /etc/ld-nix.so.preload : https://github.com/NixOS/nixpkgs/pull/96289 # Day changed to 26 août 2020 - julm: adminsys: nix: mise-à-jour et reboot de losurdo. - julm: adminsys: nftables: amélioration du pare-feu de losurdo. # Day changed to 27 août 2020 - julm: adminsys: nix: mise-à-jour et reboot de mermet. - julm: adminsys: nftables: amélioration du pare-feu de mermet. # Day changed to 28 août 2020 - julm: dev: haskell: essai de `haskell.nix`. # Day changed to 29 août 2020 - julm: dev: nix: haskell: correction de la `flake.nix` d'`haskell.nix` : https://github.com/input-output-hk/haskell.nix/pull/832 # Day changed to 30 août 2020 - julm: research: nix: haskell: étude de `haskell.nix`. - julm: dev: nix: transmission: amélioration de la gestion des options du service : https://github.com/NixOS/nixpkgs/pull/96655 - julm: dev: nix: amélioration du module `security.gnupg`. # Day changed to 31 août 2020 - julm: research: haskell: étude de `Parsley`: https://github.com/J-mie6/ParsleyHaskell - julm: dev: nix: amélioration du module `services.biboumi`. # Day changed to 1 septembre 2020 - julm: dev: nix: amélioration du module `services.biboumi`. - julm: research: haskell: étude de `Parsley`. # Day changed to 2 septembre 2020 - julm: dev: nix: amélioration du script `nixos-install`. - julm: research: haskell: étude de `Parsley`. # Day changed to 3 septembre 2020 - julm: research: haskell: étude de `Parsley`. # Day changed to 4 septembre 2020 - julm: research: haskell: étude de `Parsley`. - julm: research: haskell: étude de haskell.nix : - https://github.com/Infinisil/all-hies/issues/73 - https://github.com/input-output-hk/haskell.nix/issues/836 - https://github.com/input-output-hk/haskell.nix/pull/837 - julm: research: haskell: étude de ghc.nix. - julm: dev: nix: amélioration du script `nixos-install`. # Day changed to 5 septembre 2020 - julm: dev: nix: amélioration du module `services.tor`. # Day changed to 6 septembre 2020 - julm: dev: nix: amélioration du module `services.tor`. # Day changed to 7 septembre 2020 - julm: dev: nix: amélioration du module `services.tor`. # Day changed to 8 septembre 2020 - julm: dev: nix: amélioration du module `services.tor`. # Day changed to 9 septembre 2020 - julm: dev: nix: amélioration du module `services.tor`. # Day changed to 10 septembre 2020 - julm: dev: nix: amélioration du module `services.tor`. # Day changed to 11 septembre 2020 - julm: dev: nix: amélioration du module `services.tor` : https://github.com/NixOS/nixpkgs/pull/97740 # Day changed to 12 septembre 2020 - julm: dev: nix: amélioration du module `services.tor`. # Day changed to 13 septembre 2020 - julm: dev: nix: amélioration du module `services.tor`. # Day changed to 14 septembre 2020 - julm: dev: nix: amélioration du module `services.tor`. - julm: research: haskell: étude de `Parsley`. - julm: dev: haskell: petite optimisation de `cata` dans `Parsley` https://github.com/J-mie6/ParsleyHaskell/pull/6 # Day changed to 15 septembre 2020 - julm: research: haskell: étude de `Parsley`. - Rétrocontribution d'une optimisation mineure dans l'implémentation de `cata` : https://github.com/J-mie6/ParsleyHaskell/pull/6 - julm: dev: haskell: réécriture de `Parsley` dans `symantic-parser`. # Day changed to 16 septembre 2020 - julm: research: haskell: étude de `Parsley`. - julm: dev: haskell: réécriture de `Parsley` dans `symantic-parser`. # Day changed to 17 septembre 2020 - julm: research: haskell: étude de `Parsley`. - julm: dev: haskell: réécriture de `Parsley` dans `symantic-parser`. # Day changed to 18 septembre 2020 - julm: research: haskell: étude de `Parsley`. - julm: adminsys: aide: fonctionnement de `transmission` à Céline. - julm: adminsys: étude de `wg-quick` et `ip netns` en aidant Case_Of sur #illyse. - julm: dev: haskell: réécriture de `Parsley` dans `symantic-parser`. # Day changed to 19 septembre 2020 - julm: dev: nix: correction de `gitolite`: https://github.com/NixOS/nixpkgs/pull/98262 # Day changed to 20 septembre 2020 - julm: research: haskell: étude de Tagless Staged : http://okmij.org/ftp/tagless-final/TaglessStaged/beyond.pdf - julm: research: haskell: étude de `data-reify` : http://www.ittc.ku.edu/~andygill/papers/reifyGraph.pdf - julm: research: haskell: étude de `Parsley`. - julm: research: haskell: étude de `dependent-map`. # Day changed to 21 septembre 2020 - julm: research: haskell: étude de `Parsley`. # Day changed to 22 septembre 2020 - julm: adminsys: étude de `Tor` : https://lists.torproject.org/pipermail/tor-relays/2020-September/018936.html - julm: adminsys: openwrt: configuration d'`openvpn` à La Renouée pour utiliser RiseupVPN vers millevaches.net qui bloque Tor et donc l'IPv4 de La Renouée car elle se trouve encore dans torbulkexitlist. # Day changed to 23 septembre 2020 - julm: dev: nix: rapport de problème sur `syncoid` : https://github.com/jimsalterjrs/sanoid/issues/532#issuecomment-697159696 # Day changed to 24 septembre 2020 - julm: adminsys: nix: cryptpad: installation. # Day changed to 25 septembre 2020 - julm: adminsys: zfs: add a mirror SSD disk to losurdo. - julm: dev: nix: mise à jour de `zerobin` : https://github.com/NixOS/nixpkgs/pull/98734 # Day changed to 26 septembre 2020 - julm: research: haskell: étude de `Parsley`. # Day changed to 27 septembre 2020 - julm: dev: nix: mise à jour de `zerobin`. # Day changed to 28 septembre 2020 - julm: research: haskell: étude de `Parsley`. # Day changed to 29 septembre 2020 - julm: dev: nix: mise à jour de `zerobin`. - julm: research: haskell: étude de `Parsley`. # Day changed to 30 septembre 2020 - julm: research: haskell: étude de `Parsley`. - Rétrocontribution d'une optimisation dans l'algorithme de détection des points de définition ou de récursion : https://github.com/J-mie6/ParsleyHaskell/pull/7 # Day changed to 1 octobre 2020 - julm: research: haskell: étude de `Parsley`. # Day changed to 2 octobre 2020 - julm: research: haskell: étude de `Parsley`. # Day changed to 3 octobre 2020 - julm: research: haskell: étude de `Parsley`. - julm: DDC9: étude d'onduleurs. # Day changed to 4 octobre 2020 - julm: dev: nix: étude de `haskellPackages`. - julm: DDC9: étude et achat d'un onduleur APC. # Day changed to 5 octobre 2020 - julm: research: haskell: étude de `Parsley`. - Meilleure compréhension des optimisations. Les instructions de la `Machine` ne sont pour l'instant pas optimisées, il n'y a qu'un début de fonction d'optimisation, non appliqué. - Mise au point d'un `flake.nix` et `default.nix` pour utiliser l'infrastructure Haskell de Nixpkgs, et avoir un `nix develop` dans lequel `cabal repl` fonctionne. - julm: adminsys: tor: Le bannisement dû au test d'Exit node du 7 septembre dernier est enfin expiré : ``` curl -sL https://check.torproject.org/torbulkexitlist | grep 80.67.180.251 ``` - julm: adminsys: network: Le `MASQUERADING` du routeur de La Renouée a cessé de fonctionner pour la connexion Wireguard wg-intra entre losurdo et mermet: ``` root@LaRenouee:~# tcpdump -i pppoe-wan -n udp port 43642 16:25:19.978097 IP 192.168.1.215.43642 > 80.67.180.129.43642: UDP, length 148 16:25:25.098082 IP 192.168.1.215.43642 > 80.67.180.129.43642: UDP, length 148 16:25:30.730092 IP 192.168.1.215.43642 > 80.67.180.129.43642: UDP, length 148 ^ Devrait être 80.67.180.251 en temps normal. ``` La table conntrack était mal initialisée avec `dst=192.168.1.215` : ``` root@LaRenouee:~# conntrack --get --proto udp --src 192.168.1.215 --dst 80.67.180.129 --sport 43642 --dport 43642 udp 17 55 src=192.168.1.215 dst=80.67.180.129 sport=43642 dport=43642 packets=2574 bytes=453024 [UNREPLIED] src=80.67.180.129 dst=192.168.1.215 sport=43642 dport=43642 packets=0 bytes=0 mark=0 use=1 ``` Car elle doit être avec `dst=80.67.180.251`: ``` root@LaRenouee:~# conntrack --get --proto udp --src 192.168.1.215 --dst 80.67.180.129 --sport 43642 --dport 43642 udp 17 158 src=192.168.1.215 dst=80.67.180.129 sport=43642 dport=43642 packets=39 bytes=3036 src=80.67.180.129 dst=80.67.180.251 sport=43642 dport=43642 packets=6 bytes=720 [ASSURED] mark=0 use=2 ``` Il s'agit probablement d'une condition de course avec la configuration de `pppoe-wan`, car le problème est survenu à peu-près au même moment qqu'une coupure de la ligne xDSL. # Day changed to 6 octobre 2020 - julm: research: haskell: étude de `Parsley`. - Petite modification pour afficher les instruction de la `Machine` de manière indentée, ce qui permet de lire les production, de commencer à faire sens de ce que fait la `Machine`, de repérer les endroits du code source qui produisent certains motifs d'instructions, et de les modifier légèrement pour voir le résultat. # Day changed to 7 octobre 2020 - julm: research: haskell: étude de `Parsley`. - julm: dev: nix: revert de `security.apparmor` à cause d'un problème incompris avec `Hydra`. # Day changed to 8 octobre 2020 - julm: research: haskell: étude de `Parsley`. - julm: dev: nix: mise à jour de `zerobin`. # Day changed to 9 octobre 2020 - julm: research: haskell: étude de `Parsley`. # Day changed to 10 octobre 2020 - julm: dev: nix: migration de `all-hies` à `haskell-language-server`: https://github.com/Infinisil/all-hies/issues/73#issuecomment-706429575 # Day changed to 11 octobre 2020 - julm: dev: haskell: poursuite de `symantic-parser`. # Day changed to 12 octobre 2020 - julm: dev: haskell: poursuite de `symantic-parser`. # Day changed to 13 octobre 2020 - julm: dev: haskell: poursuite de `symantic-parser`. # Day changed to 14 octobre 2020 - julm: dev: haskell: poursuite de `symantic-parser`. # Day changed to 15 octobre 2020 - julm: dev: haskell: poursuite de `symantic-parser`. # Day changed to 16 octobre 2020 - julm: dev: haskell: poursuite de `symantic-parser`. # Day changed to 17 octobre 2020 - julm: dev: haskell: poursuite de `symantic-parser`. # Day changed to 18 octobre 2020 - julm: dev: haskell: poursuite de `symantic-parser`. # Day changed to 19 octobre 2020 # Day changed to 20 octobre 2020 - julm: dev: nix: ouverture d'une nouvelle PR pour `security.apparmor` : https://github.com/NixOS/nixpkgs/pull/101071 - julm: dev: haskell: poursuite de `symantic-parser` : `observeSharing` ne fonctionne pas dans un programme exécutable alors qu'il fonctionne dans `ghci`. Grosse investiguation avec `trace`, `--enable-profiling`, `--enable-coverage`, et surtout `undefined` avec `+RTS -xc` : apparemment il faut absolument utiliser `unsafePerformIO` pour tout `IO` dans `ObserveSharing` sans quoi le `trace`. # Day changed to 21 octobre 2020 - julm: dev: haskell: poursuite de `symantic-parser`. # Day changed to 22 octobre 2020