Matthias C. Hormann

Results 412 comments of Matthias C. Hormann

> @Moonbase59 do you plan to release it to PyPi? That would probably be the right thing to do, ~~but honestly, I have no idea how to do that and...

Ok, I started learning about Python packaging, created a _PyPI_ account and made it an installable module, see https://github.com/Moonbase59/latex2svg#installation. Unfortunately there still is an [issue on PyPI](https://github.com/pypa/pypi-support/issues/1699) because they don’t...

Sounds like a workable idea. Could you live with _tags_ being of the form "**v**major.minor.patch"? I don’t want to warm up the old "with or without a 'v'" discussion here,...

I haven’t had time to delve deeper into the code yet, but I’d also suggest to use some kind of **output templates**, so a uniform appearance can be reached (that’s...

Unsure about _Jinja2_, but a definite **YES**. Maybe a first step could be to remove above template from code and use a per-language, easily editable _file_ instead? And—for now—stick with...

@lasconic: I love compact, due to the restricted screen estate on hardware readers. Although the shown Spanish example _should_ use a line break before \#1. @ilius: I also thought about...

Oh yes, I couldn’t find a word offhand, but I know we also have sub-lists somewhere like "sense" 1a, 1b, 1c and such. Here is another one, "Linux", with meanings...

**Stop…** Interesting to know the French use backslashes. And after reading the [EN Wiki explanation](https://en.wikipedia.org/wiki/International_Phonetic_Alphabet#Brackets_and_transcription_delimiters) mentioned above, I’d instead opt for _taking what’s there_ (in the Wiktionary). Including whatever "boundary...

I simply downloaded the EN StarDict and looked up the word "Wiktionary" (using GoldenDict on Linux). We have it there. Probably a leftover artifact from removing the "IPA" before the...

Interesting. Your command looks good here, too. But if you have a peek into `data/en/dict-en-en.df`, it looks like this: ```text @ Wiktionary : \ˈwɪkʃən(ə)ɹi\, \ˈwɪkʃənɹɪ\ Blend of wiki + dictionary. A collaborative...