nothingnesses

Another alternative to increase wireless channels would be to code WIFI such that channels are only dependent on temp ranges, not tmp. If temp doesn't get converted to tmp channels...

Shortening the gaps between WIFI channels had been discussed a couple times before (see the links in OP, there was also a PR that implemented this ages ago, https://github.com/ThePowderToy/The-Powder-Toy/pull/117/commits/ab6fdfb00cffda568a39654a6a75d9a50e8360f6 ,...

Apparently my distro's `coq` package doesn't include `coqide` (but it does include `coqidetop`). Is `coqide` required for VSCoq?

> In principle, only `coqidetop.opt` should be required. Is it provided by your distro's package? Make sure it is either in your path `coqidetop.opt` does appear to be in my...

Sure thing. So here's a part of the "home.nix" configuration I use for Home Manager, which builds fine: ```nix { config, pkgs, ... }: let inherit (builtins) fetchGit; in {...

What if the section included advice about using the `concatLists` builtin to allow the problematic attribute sets to be included using the longhand form, whilst still allowing the original advice...

The value of doing this would likely depend on how many elements the list has. I only included a few in the example above but my actual configuration has more...

> I haven't been able to find a way to access the working directory within the shell though. You can spawn a child process with an initial working directory, but...

This issue seems to be related to another issue that causes my alacritty terminal to crash when I've been editing files on it with kakoune for a while and I...

One suggestion would be to add support for web terminals. I think one way to go about this would be to leverage the [`xterm-js-sys`](https://github.com/rrbutani/xterm-js-sys/issues/6) backend for `crossterm`. I'm not sure...