From 0bb9321d1b979f64703c22fa6c25a46776da50af Mon Sep 17 00:00:00 2001
From: lassulus <lassulus@lassul.us>
Date: Sat, 23 Mar 2019 16:04:01 +0100
Subject: syncthing folders: add watch & ignorePerms options

---
 krebs/3modules/syncthing.nix | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/krebs/3modules/syncthing.nix b/krebs/3modules/syncthing.nix
index 389da81d4..485dd3991 100644
--- a/krebs/3modules/syncthing.nix
+++ b/krebs/3modules/syncthing.nix
@@ -15,6 +15,9 @@ let
     id = folder.path;
     devices = map (peer: { deviceId = cfg.peers.${peer}.id; }) folder.peers;
     rescanIntervalS = folder.rescanInterval;
+    fsWatcherEnabled = folder.watch;
+    fsWatcherDelayS = folder.watchDelay;
+    ignorePerms = folder.ignorePerms;
   }) cfg.folders;
 
   getApiKey = pkgs.writeDash "getAPIKey" ''
@@ -100,6 +103,21 @@ in
             default = "sendreceive";
           };
 
+          watch = mkOption {
+            type = types.bool;
+            default = true;
+          };
+
+          watchDelay = mkOption {
+            type = types.int;
+            default = 10;
+          };
+
+          ignorePerms = mkOption {
+            type = types.bool;
+            default = true;
+          };
+
         };
       }));
     };
-- 
cgit v1.2.3