diff options
| author | devhell <devhell@mailfresser.de> | 2020-05-14 19:34:06 +0100 |
|---|---|---|
| committer | devhell <devhell@mailfresser.de> | 2020-05-14 19:39:23 +0100 |
| commit | 2bf8b148a8fafd57f33e3c8516eab8bfa9260aba (patch) | |
| tree | e7f5612e326276ec6ae947211bf2a8e0f7a136c1 /machines/devhell/eir.nix | |
| parent | bae6044216cf2868484a359c8bd2c525b7ec623a (diff) | |
machines/{eir,hildr}: Remove docker/service
I think I'll switch to `podman` now. I was never a fan of docker needing a daemon to begin with.
Diffstat (limited to 'machines/devhell/eir.nix')
| -rw-r--r-- | machines/devhell/eir.nix | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/machines/devhell/eir.nix b/machines/devhell/eir.nix index 43aea6e7..a70d0e3b 100644 --- a/machines/devhell/eir.nix +++ b/machines/devhell/eir.nix @@ -61,8 +61,6 @@ useNetworkd = true; }; - virtualisation.docker.enable = false; - nix = { maxJobs = lib.mkDefault 4; extraOptions = '' |