2024-06-27 00:17:01 +00:00
|
|
|
{ dockerTools
|
|
|
|
|
, buildEnv
|
|
|
|
|
, agda-bin
|
|
|
|
|
, corepack
|
|
|
|
|
, rsync
|
|
|
|
|
, openssh
|
|
|
|
|
, bash
|
|
|
|
|
, coreutils
|
|
|
|
|
, nodejs_20
|
2024-06-27 00:47:02 +00:00
|
|
|
, gnused
|
2024-06-27 00:17:01 +00:00
|
|
|
}:
|
|
|
|
|
|
|
|
|
|
dockerTools.buildLayeredImage {
|
|
|
|
|
name = "blog-docker-builder";
|
|
|
|
|
|
|
|
|
|
contents = with dockerTools; [
|
|
|
|
|
agda-bin
|
|
|
|
|
corepack
|
|
|
|
|
rsync
|
|
|
|
|
openssh
|
|
|
|
|
bash
|
|
|
|
|
coreutils
|
|
|
|
|
nodejs_20
|
2024-06-27 00:47:02 +00:00
|
|
|
gnused
|
2024-06-27 00:17:01 +00:00
|
|
|
usrBinEnv
|
|
|
|
|
caCertificates
|
|
|
|
|
];
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
# copyToRoot = with dockerTools; buildEnv {
|
|
|
|
|
# name = "blog-docker-builder-image-root";
|
|
|
|
|
# paths = [
|
|
|
|
|
# ];
|
|
|
|
|
# };
|
2024-06-26 23:18:25 +00:00
|
|
|
|
