Johannes Hostert
Johannes Hostert
Hello, when I naively try to execute `find . -name '*.v' -exec alectryon.py --frontend coqdoc --backend webpage {} \;` in a project using a `_CoqProject`, I get errors like this:...
Hello, currently, listings are somewhat unusable within exercise environments, since the `divisionexercise` section creates a tcolorbox. Now, listings are also implemented as a tcolorbox, so having a program inside an...
Thanks for this tool! Using this on the Asus BIOS image is a bit tricky since you have to pull a few punches to get the actual Efi image first:...
Updating ruby apparently breaks things. See more here: https://github.com/ruby/psych/issues/503 There are two possible solutions. One is to change `YAML::load` to `YAML::unsafe_load`. The better option is to add this to the...
Hi, if I use certain symbols in my waybar texts, the entire widget gets misaligned. For example, I have a screen brightness widget, configured like this: ``` "backlight": { "format":...
Your mods adds Ardite's and Cobalt's (NETHER metals) powdered/crushed/broken ore to the sifting result list of gravel, sand and dust (OVERWORLD materials). They later have a probabilty of 17% (according...
...andler. Also added Mithril/Manasteel to the list because it is not generated as an ore and therefore should not be added to ExNihilo.
This extends the old constructors.txt file in favor of a more general one that allows naming parameters for all kind of methods. Along this exporting data in the old format...
Hello there, First of all: Console input currently is a bit broken. If you output a few chars (like the `$PS1` / `user@machine ~ $ ` prefix usually output by...
While investigating why my blog takes so long to build, I found this arcane line breaking mechanism, which is both slow and unnecessary. It can be made faster, see https://github.com/digitalsparky/cssminify/pull/5....