diff options
author | tv <tv@krebsco.de> | 2017-11-15 16:41:29 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2017-11-15 16:41:29 +0100 |
commit | 2f183f41ca257fbe9b48b58314849175ceb2dc6b (patch) | |
tree | 9dde81783b6afca348fad1457a5f2395836f1a90 /krebs/5pkgs | |
parent | 1f50c4e068294bba196695394660527963e7690b (diff) |
withGetopt: replace \\>
Diffstat (limited to 'krebs/5pkgs')
-rw-r--r-- | krebs/5pkgs/simple/withGetopt.nix | 2 |
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); |