summaryrefslogtreecommitdiffstats
path: root/krebs
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2017-11-15 16:41:29 +0100
committertv <tv@krebsco.de>2017-11-15 16:41:29 +0100
commit2f183f41ca257fbe9b48b58314849175ceb2dc6b (patch)
tree9dde81783b6afca348fad1457a5f2395836f1a90 /krebs
parent1f50c4e068294bba196695394660527963e7690b (diff)
withGetopt: replace \\>
Diffstat (limited to 'krebs')
-rw-r--r--krebs/5pkgs/simple/withGetopt.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/krebs/5pkgs/simple/withGetopt.nix b/krebs/5pkgs/simple/withGetopt.nix
index 179051bdf..d20802fb2 100644
--- a/krebs/5pkgs/simple/withGetopt.nix
+++ b/krebs/5pkgs/simple/withGetopt.nix
@@ -20,7 +20,7 @@ opt-spec: cmd-spec: let
# true if b requires a to define its default value
opts-before = a: b:
- test ".*[$]${stringAsChars (c: "[${c}]") a.varname}\\>.*" (b.default or "");
+ test ".*[$]${stringAsChars (c: "[${c}]") a.varname}([^0-9A-Za-z_].*)?" (b.default or "");
opts-list = let
sort-out = toposort opts-before (attrValues opts);