Remove Docker container

It was outdated. Anyway, Docker is no longer in vogue anyway.

Change-Id: Ic1ace406f3f8453de174ee465d0db6d17502822e

1 files changed, 0 insertions, 43 deletions

diff --git a/docker.nix b/docker.nix
deleted file mode 100644
index 2ac09b6..0000000
--- a/docker.nix
+++ /dev/null
@@ -1,43 +0,0 @@
-{ kittybox, dockerTools, runtimeShell, rev ? "development", lastModifiedDate }:
-dockerTools.buildImage {
-  name = "kittybox";
-  tag = rev;
-  created = let
-    date = lastModifiedDate;
-  in builtins.concatStringsSep "" [
-    (builtins.substring 0 4 date)
-    "-"
-    (builtins.substring 4 2 date)
-    "-"
-    (builtins.substring 6 2 date)
-    "T"
-    (builtins.substring 8 2 date)
-    ":"
-    (builtins.substring 10 2 date)
-    ":"
-    (builtins.substring 12 2 date)
-    "Z"
-  ];
-
-  runAsRoot = ''
-    #!${runtimeShell}
-    ${dockerTools.shadowSetup}
-    groupadd -r kittybox
-    useradd -r -g kittybox kittybox
-    mkdir -p /data
-    chown kittybox:kittybox /data
-  '';
-
-  config = {
-    Cmd = [ "${kittybox}/bin/kittybox" ];
-    Env = [
-      "SERVE_AT=0.0.0.0:8080"
-      "BACKEND_URI=file:///data"
-      "RUST_LOG=info"
-    ];
-    WorkingDir = "/data";
-    Volumes = { "/data" = {}; };
-    User = "kittybox";
-    ExposedPorts = { "8080" = {}; };
-  };
-}