Merge pull request #68 from gvolpe/fix/string-pipe-parser

parser: add pipe in strings
nix-community · Aug 23, 2022 · 701e926 · 701e926
2 parents 9f8bc3b + 8adb975
commit 701e926
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 1 deletion.
diff --git a/data/custom.settings b/data/custom.settings
@@ -4,3 +4,6 @@ saved-view='/org/gnome/desktop/input-sources/'
 window-height=709
 window-is-maximized=false
 window-width=785
+
+[foo]
+services=['service1|wg-quick@wg0.service', 'service2|wg-quick@wg1.service']
diff --git a/output/custom.nix b/output/custom.nix
@@ -13,5 +13,9 @@ with lib.hm.gvariant;
       window-width = 785;
     };
 
+    "ca/desrt/dconf-editor/foo" = {
+      services = [ "service1|wg-quick@wg0.service" "service2|wg-quick@wg1.service" ];
+    };
+
   };
 }
diff --git a/src/DConf.hs b/src/DConf.hs
@@ -70,7 +70,7 @@ vString parser = try $ do
  where
   single = many1 (string "'") *> parser inputs (string "'")
   double = many1 (char '"') *> parser (inputs <|> string "'") (char '"')
-  tokens = many1 <$> [alphaNum, space] ++ (char <$> "=$!&+-_()[]{},#@\\")
+  tokens = many1 <$> [alphaNum, space] ++ (char <$> "=$!&+-_()[]{}|,#@\\")
   files  = many1 . char <$> ":/."
   shorts = many1 . char <$> "<>"
   inputs = choice (tokens ++ files ++ shorts)