NixOS

Update (Sep 8,2021): This issue appears only on NixOS (as well as Ubuntu, and possibly several other distros), but not on Clear Linux.

I usually run NixOS on my computers, which is what I did on the Carbon. Read the specifics in Installing NixOS on X1 Carbon Gen 7.

GNOME runs on NixOS by default using Wayland, however Peek works only in X. For the Ema demo, I recorded a short screencast spawning two windows, VSCode and web browser, as follows:

If you already use Nix (or NixOS), getting a quick feel for PureScript is just a matter of running:

pass must be installed along gpg. On NixOS:^*

While most would be satisfied with rustup, I wanted to use Nix for writing any new project in Rust - especially as I see the value of Nix, and I already use NixOS. It took a bit of digging to evaluate the existing options, and come up with a template Nix setup for new projects.

Alternatively, if you are feeling adventurous enough, you may install NixOS, a Linux distribution based on Nix.

If you use Windows, you should set up WSL2 Ubuntu and install Nix on it (or setup NixOS using NixOS-WSL instead of Ubuntu).

You are running either Linux or macOS^*, and have installed the Nix package manager using these instructions ^*. You do not need to install anything else, including needing to install Haskell, as Nix will manage that for you.

See also NixOS.

If you wish to run NixOS container on a NixOS host, checkout NixOS’s declarative container management which may be a more appealing option than LXD. For VMs, see microvm.nix.

For brightness configuration in NixOS Linux using ddcutil, see here.

I used these instructions^* to install NixOS alongside Windows on my X1C7

It turns out that home-manager has a module that, unlike the NixOS version, provides a declarative way to install and configure coc.nvim with Haskell support (EDIT: this is language-independent):

It performs better than NixOS as desktop experience on X1C7, thus improving on X1C7 - Moderate Performance. In addition, the system is much more reliable, such as there not being any X1C7 WiFi issue (or Thunderbolt issues) so far.

Nix is used for both developent and deployment; the production version in particular is deployed to a DigitalOcean droplet running NixOS. Nix makes reproducible development environments easy and possible. A testament to this is how easy it is to contribute to neuron (see CONTRIBUTING.md) - as with one command, nix-shell, you get the full development enviornment including Haskell IDE support starting from a pristine system with nothing but Nix installed.

Add this to your NixOS Linux configuration.nix:

NixOS’s declarative container management provides a way to declaratively configure an entire (NixOS) Linux system to be run inside the host. Below you will find the Nix config that configures a new container named “vpn” in the following way: