Chua Hou

Currently, when attempting to build `command` in pure evaluation mode, the first issue I encounter is > error: the path '~/.gitconfig' can not be resolved in pure mode which is...

PR #1580 would probably be able to solve this if/when merged.

This issue occurs for me as well on a variety of searches. With the search query "memtest menu" in private browsing, every image result gets eaten for me. ...

It appears the problem is that the filter list selects the `.MjjYud` element. On the normal search results page, each `.MjjYud` corresponds to a single search result, which makes it...

I think this issue should remain open since it is still a problem. Currently, following instructions on https://docs.sel4.systems/Tutorials/camkes-vm-crossvm.html still has this problem. Running, for example, ```sh ./init --tut camkes-vm-crossvm --solution...

At the moment #181 presents a fix that's ready to be merged, but the repo owner seems to be inactive for >1 year as well. :(

I managed to make some progress using your (@domust) fork as an overlay with some additional modifications: * Add to `installPhase`: ``` mv $out/usr/* $out rmdir $out/usr ``` * Remove...

@domust I'm not overly familiar with the correct way in NixOS yet, but I believe you need to also have `environment.systemPackages = [ pkgs.nordvpn ];` to have the package in...

@domust If I'm not wrong that will install the systemd units and the software the units run (i.e. `nordvpnd`), but `nordvpn` is the CLI tool for the user to call,...