diff options
| author | Michael Weiss <dev.primeos@gmail.com> | 2018-09-08 17:24:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-08 17:24:58 +0200 |
| commit | b58a230c60c31effd8eac43cb3a88d172ee19b71 (patch) | |
| tree | 7f67c38d2a752c84f78d7db8c7b96da43968a1c7 /pkgs/development/coq-modules/QuickChick/default.nix | |
| parent | 0ce6e32cb78e3fc812427936ac37671795c71c5b (diff) | |
| parent | 53ef5441bb261bcb52b5ffe7cab77ba46114e7e9 (diff) | |
| download | nixpkgs-b58a230c60c31effd8eac43cb3a88d172ee19b71.tar nixpkgs-b58a230c60c31effd8eac43cb3a88d172ee19b71.tar.gz nixpkgs-b58a230c60c31effd8eac43cb3a88d172ee19b71.tar.bz2 nixpkgs-b58a230c60c31effd8eac43cb3a88d172ee19b71.tar.lz nixpkgs-b58a230c60c31effd8eac43cb3a88d172ee19b71.tar.xz nixpkgs-b58a230c60c31effd8eac43cb3a88d172ee19b71.tar.zst nixpkgs-b58a230c60c31effd8eac43cb3a88d172ee19b71.zip | |
Merge pull request #46370 from primeos/nixos-sks
sks,nixos/sks: Various minor improvements Module: - Add a webroot option (serve a website by default, makes the setup easier) - Explicitly set a group (instead of using 65534/nogroup) - Move pkgs.sks from environment.systemPackages to the "sks" user and add pkgs.db Package: - Adapt the output of "sks version" to NixOS - Copy the example webpages to $webSamples
Diffstat (limited to 'pkgs/development/coq-modules/QuickChick/default.nix')
0 files changed, 0 insertions, 0 deletions