inaugurate decent devshell

This commit is contained in:
David Arnold 2021-04-29 17:13:33 -05:00
parent be58b0e94e
commit 2026496ea0
No known key found for this signature in database
GPG key ID: 6D6A936E69C59D08
7 changed files with 313 additions and 4 deletions

17
shell.nix Normal file
View file

@ -0,0 +1,17 @@
{
system ? builtins.currentSystem,
pkgs,
}:
let
devshellGitRev = "709fe4d04a9101c9d224ad83f73416dce71baf21";
devshellSrc = fetchTarball {
url = "https://github.com/numtide/devshell/archive/${devshellGitRev}.tar.gz";
sha256 = "1px9cqfshfqs1b7ypyxch3s3ymr4xgycy1krrcg7b97rmmszvsqr";
};
devshell = import devshellSrc { inherit system pkgs; };
in
devshell.fromTOML ./devshell.toml