diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-07-27 20:24:42 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-07-27 20:34:24 +0200 |
| commit | 63d7b6ee291999b257018950b11d530ae43ead4b (patch) | |
| tree | e404fda5bb29990bd496e10fe9fd455fa56aca10 /pkgs/development/python-modules/httpserver | |
| parent | 2799a94963aaf37f059b5ed4c0d2b0cf98ba445e (diff) | |
makeImageFromDebDist: Add extraDebs arguments
This allows adding packages that are not part of the distribution, e.g.g
extraDebs = [
(pkgs.fetchurl {
name = "openjdk.deb";
url = http://ppa.launchpad.net/openjdk-r/ppa/ubuntu/pool/main/o/openjdk-8/openjdk-8-jdk-headless_8u111-b14-3~14.04.1_amd64.deb;
sha256 = "1n5ibpkx9pjmc4nr052rls1yqbq7ckav2rabixjhd4yxbyhjl0ap";
})
];
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions