devcontainer: init

This commit is contained in:
zimbatm 2019-12-15 15:54:10 +01:00
parent f90912f967
commit 751d7a6714
No known key found for this signature in database
GPG key ID: 71BAF6D40C1D63D7
12 changed files with 322 additions and 16 deletions

View file

@ -9,4 +9,23 @@ in
# docker images must be lower-cased
docker-nixpkgs = importDir (path: pkgs.callPackage path {}) ./images;
# used to build nix-env compatible user environments
mkUserEnvironment = pkgs.callPackage ./lib/mkUserEnvironment.nix {};
# gitMinimal still ships with perl and python
gitReallyMinimal = (
pkgs.git.override {
perlSupport = false;
pythonSupport = false;
withManual = false;
withpcre2 = false;
}
).overrideAttrs (
_: {
# installCheck is broken when perl is disabled
doInstallCheck = false;
}
);
}