Rename docker -> deploy

I think the name deploy is more representative of the purpose of this directory
since docker is just one of a few tools that I'm using to deploy software.
This commit is contained in:
William Carroll 2020-01-31 16:29:22 +00:00
parent 265d202908
commit 4e0b18506f
3 changed files with 1 additions and 2 deletions

18
deploy/cloud_run.nix Normal file
View file

@ -0,0 +1,18 @@
{
pkgs ? import <nixpkgs> {},
depot ? import <depot> {},
...
}:
pkgs.dockerTools.buildLayeredImage {
name = "gemma";
tag = "latest";
config.ExposedPorts = {
"4242" = {};
};
config.Env = [
"GEMMA_CONFIG=${./config.lisp}"
];
config.Cmd = [ "${depot.fun.gemma}/bin/gemma" ];
maxLayers = 120;
}