malte-v
malte-v
Currently using the arrow keys just prints ANSI sequences, which is different from the Idris 1 REPL. # Steps to Reproduce Enter the Idris 2 REPL and use the arrow...
### Theme(s) doom-meltbus ### What were you expecting? "bright black" text is readable in vterm. ### What actually happened? The meltbus theme uses the same color for the terminal background...
I would find it useful if `mput` had a `-d` option analogous to `mget` such that files in the cloud are deleted if they don't exist locally.
When using templates, rendering a document with 140 pages of handwritten notes takes over half an hour on my raspberry pi. The same file renders in ~1min without templates. It...
I think the `group` element should be supported: https://www.w3schools.com/xml/el_group.asp
When trying to connect to my bluetooth headphones (2nd gen airpods pro), bluetoothctl prints `Failed to connect: org.bluez.Error.Failed br-connection-profile-unavailable` and bluetoothd logs `a2dp-sink profile connect failed for [mac address]: Protocol...
When working with C libraries/specifications, you sometimes have to align data of specific types in memory. I came across the need for this while I was learning how to share...
Hi, thanks for making these wonderful hacks! Is there any chance you could backport the "hide text tool" feature introduced in v0.0.10 to version 0.0.9 of the hacks? I've found...
Could you provide some information about what arguments you need to pass to get this working?