iacore
There is a comment saying "Remember to keep this up to date", so I automated it. https://github.com/rtfeldman/roc/blob/d7083d5daf0e7859894ebed2ae2e1d3173635d87/cli/src/lib.rs#L468
How to reproduce: 1. Create a new directory 2. Download https://gist.github.com/locriacyber/100837526561cc6b7f508868cfd33780 as `LICENSE` 3. `zig init-exe` 4. `zigmod init` The process will hang for a long time.
Currently, lake/leanpkg doesn't reuse toolchain versions. ## How to reproduce 1. `elan default leanprover/lean4:nightly` 2. `lake init foo` which produce `lean-toolchain` with `4.0.0-nightly-2022-07-19` (which is the same version already installed)...
I'm not sure how other posix OS will handle this. On Linux `~/.local/share/zig` is the proper path to use.
Currently, save preview has significant delay. This is unnecessary when using local server for rendering. I think this is the part handling delay: https://github.com/locriacyber/vscode-plantuml/blob/9e35c117b06ab1d7d8d6c879fad3a612cded34e6/templates/js/preview.js#L44
When I used ide7, I noticed it's not showing anything. I tried to fix opening browser on Linux, but I don't know Seed7 enough. On Linux, opening browser should be...
### Describe the problem to be solved Currently on PeerTube, remote subscribe/comment takes many click, and typing in my username. This discourage people to use external Fediverse account (not PeerTube)...
``` > (format "%d%d" 1) 1-1900850528 > (format "%d %d" 1) 1 279724704 ```
Currently, pressing Ctrl+C will abort all threads directly. Ideally, the user should be able to handle SIGINT and other signals gracefully.
I don't know how to describe this, but the bug is here: https://github.com/vrld/suit/blob/17677826030a7270b474c5717af43834d583094c/theme.lua#L136-L139 This bug will cause the application to crash when the first codepoint of candidate text (IME) is...