Donc, cette année j’ai commencé à faire des notes de cours de maths en LaTeX et utiliser un logiciel de spaced learning. J’en avais parlé ici.

Au final, je suis un peu déçu par Mnemosyne¹:

• c’est quasiment impossible de modifier la configuration latex sur Android
• le projet n’est pas actif du tout
• la dernière version ne se lance pas/ne s’installe pas sur plusieurs distributions et architectures
• les cartes vide sortent une erreur à la review

Je viens de passer sur Archlinux, et j’ai pas envie de passer 1h de plus à comprendre les erreurs de PyQt6. Bref, je me suis dit que j’allais tester la concurrence.

J’avais même codé un petit outils² pour mettre à jour la db Mnemosyne depuis un .tsv.

M’enfin, à priori, je n’aurai même pas besoin de le faire pour Anki.

Modification de tex2mnemosyne

Bon, j’avais codé un truc crado pour exporter mes notes de cours en LaTeX en .tsv qui puisse être importé dans Mnemosyne, Pour Anki, j’ai seulement besoin d’encadrer les cartes avec [latex] pluôt que <latex>. Cool.

Pour le coup, j’ai poussé sur Github (toujours aussi crado).

Configurer le préambule LaTeX

Dans Tools > Handle note type > Options > Latex Preamble, j’ai modifié le préambule par:

\documentclass[8pt]{article}
\usepackage{amsmath,centernot,amssymb}
\usepackage{systeme}
\pagestyle{empty}

\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Zz}{\mathbb{Z} \setminus{0}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\K}{\mathbb{K}}
\newcommand{\D}{\mathbb{D}}

\begin{document}

Ensuite la doc³ de Anki nous dit de générer directement les .png qui seront utilisé par les versions web et mobiles.

Dans Tools > Check medias > Render LaTex, on a

Utilisé par des cartes mais manquant dans le dossier média :
Manquant : latex-000127ae97dfaa3d820312e64f46e16d0647aba6.svg
Manquant : latex-004e1cc9bf02c3ebeb20e964d5a358f482440f37.svg
Manquant : latex-006d66397d68163aedb3045fce59bd11279c228c.svg
Manquant : latex-00eaf8c6d6f382c56f7539850b84f777466dbb41.svg
Manquant : latex-010577a60cc03860a587eaf78bc2c12f1d0a94b2.svg
Manquant : latex-01c0afbdfe3ee39d835c4e60afbb30d079783244.svg
Manquant : latex-01ce820b045159c5d0b21582bbda0a55f1efcbe8.svg
Manquant : latex-01f6a9a1e210537db85c0ae7bfd2c096a3a2be32.svg
Manquant : latex-02313358bc1044be8ee91781ad7f4f5a028a0b4a.svg
Manquant : latex-0264d05196dd341472d2ae6eaa61ca21eeda4b1e.svg
Manquant : latex-02bb033552af0ee214940c7da49862b6a1732822.svg
Manquant : latex-0314baf464b3da7d4432dc9597c125af64612233.svg
Manquant : latex-03c41d280604b514a2713e7a4920435699d717e3.svg
Manquant : latex-03d24f0444238036b4b029acf020435df9e9287c.svg
Manquant : latex-03d71bb56dcd3784566fdd3d29dcfbcdf7d068d6.svg
Manquant : latex-042fbea23e05878bdc11ddce07f06ff96daffae0.svg
Manquant : latex-0474de07f15b3d92fa114d770aff0e7be77b7608.svg
Manquant : latex-04cf30c512b8975862c3025082e23e97cb6b2e33.svg
Manquant : latex-052072a391414428c5fc12facd98dfef02118911.svg
Manquant : latex-052b1467a9648669fdc55a05732ba45b03210919.svg
Manquant : latex-057b6bf2cf3d03916095424719d392131d83f42c.svg
Manquant : latex-05824612181ccef62fb8b9f8bb0011a5494c9e89.svg
Manquant : latex-05c21f0c0d1ac862ce3565afc68a96eeb681f1ff.svg

Quelques erreurs quand même

Avec la version

pdfTeX 3.141592653-2.6-1.40.25 (TeX Live 2023/Arch Linux)
kpathsea version 6.3.5
Copyright 2023 Han The Thanh (pdfTeX) et al.
There is NO warranty.  Redistribution of this software is
covered by the terms of both the pdfTeX copyright and
the Lesser GNU General Public License.
For more information about these matters, see the file
named COPYING and the pdfTeX source.
Primary author of pdfTeX: Han The Thanh (pdfTeX) et al.
Compiled with libpng 1.6.39; using libpng 1.6.39
Compiled with zlib 1.2.13; using zlib 1.2.13
Compiled with xpdf version 4.04

Cannot have accent in maths mode

In math mode, cannot have accent :

I := \{r \in \R_{+}, (|a_n|r^n) bornée\}

Mais les tags alors ?

Attention, à l’import, il y a une case à cocher pour valider que les tags correspondent à la colonne 3.

Mais la synchronisation alors ?

Il existe un service de synchronisation gratuit mais propriétaire: AnkiWeb.

Apparemment, il y aurait également un service développé par la communauté: anki-sync-server

Je vais utiliser la version gratuite mais propriétaire pour le moment.

Voilà

Plus qu’à repasser 600 cartes.