Table of Contents
I think Gabriel's blogpost http://www.haskellforall.com/2018/08/nixos-in-production.html he explains how to work around nixos-rebuild's inflexibilities. However, I think everything that is being suggested is actually possible in nixos-rebuild already
They blog is still a good exercise to understanding what nixos-rebuild does behind the scenes though.
Deploy to a target machine, from a build machine, with pinned nixpkgs, and a specific nixos config:
nixos-rebuild switch \
[email protected] \
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// ### [ Lexical part ] ######################################################## | |
_ascii_letter_upper | |
: 'A' - 'Z' | |
; | |
_ascii_letter_lower | |
: 'a' - 'z' | |
; |
keybase pgp pull <keybase.io user>
gpg --edit-key <keybase.io user>
> lsign
> save
git-crypt add-gpg-user <keybase.io user>
title | subtitle | author |
---|---|---|
The Fools Who Dream |
(Computer Science Edition) |
Justin Hurwitz (Lyrics Justin Le) |
[Charles Babbage]
His difference engine / did multiplication
And sometimes addition by three
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
{-# LANGUAGE FlexibleContexts #-} | |
{-# LANGUAGE FlexibleInstances #-} | |
{-# LANGUAGE DataKinds #-} | |
{-# LANGUAGE EmptyCase #-} | |
{-# LANGUAGE GADTs #-} | |
{-# LANGUAGE KindSignatures #-} | |
{-# LANGUAGE MultiParamTypeClasses #-} | |
{-# LANGUAGE PolyKinds #-} | |
{-# LANGUAGE RankNTypes #-} | |
{-# LANGUAGE ScopedTypeVariables #-} |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
with builtins; | |
rec { | |
pkgs = import <nixpkgs> {}; | |
testGHC = pkgs.haskellPackages.ghcWithPackages (p: with p; [ | |
base base-orphans bifunctors comonad contravariant distributive | |
tagged transformers | |
]); |
Short (72 chars or less) summary
More detailed explanatory text. Wrap it to 72 characters. The blank
line separating the summary from the body is critical (unless you omit
the body entirely).
Write your commit message in the imperative: "Fix bug" and not "Fixed
bug" or "Fixes bug." This convention matches up with commit messages