From 2e1e618cec51e70c059796906e3a1b32c3fdcb86 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <pngwjpgh@users.noreply.github.com>
Date: Sun, 17 Jul 2016 20:16:44 +0200
Subject: we need the correct filename

---
 bragi.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bragi.nix b/bragi.nix
index 0a7ca26e..50f71dc3 100644
--- a/bragi.nix
+++ b/bragi.nix
@@ -275,7 +275,7 @@ in rec {
     home = "/var/lib/thermoprint";
   };
 
-  environment.etc."thermoprint-server/config.hs" = {
+  environment.etc."thermoprint-server/thermoprint-server.hs" = {
     text = ''
       {-# LANGUAGE OverloadedStrings  #-}
       {-# LANGUAGE ImpredicativeTypes #-}
-- 
cgit v1.2.3