From 1176a24a1f76f551ec32eda731e8d5cdf93ad085 Mon Sep 17 00:00:00 2001 From: Ben Sima Date: Wed, 18 Aug 2021 13:25:31 -0400 Subject: Rename Devalloc to Dragons --- Biz/Dev.nix | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'Biz/Dev.nix') diff --git a/Biz/Dev.nix b/Biz/Dev.nix index 837ffaf..0f9b07c 100644 --- a/Biz/Dev.nix +++ b/Biz/Dev.nix @@ -10,17 +10,17 @@ bild.os { ./Dev/Configuration.nix ./Dev/Hardware.nix ./Dev/Hoogle.nix - ./Devalloc.nix + ./Dragons.nix # ./Dev/Guix.nix # I need to package a bunch of guile libs first ]; networking.hostName = "lithium"; networking.domain = "dev.simatime.com"; - services.devalloc = { + services.dragons = { enable = true; port = 8095; - package = bild.ghc ./Devalloc.hs; - keep = "/var/devalloc/keep"; - depo = "/var/devalloc/depo"; + package = bild.ghc ./Dragons.hs; + keep = "/var/dragons/keep"; + depo = "/var/dragons/depo"; }; } -- cgit v1.2.3