diff options
| author | lassulus <lassulus@lassul.us> | 2017-09-03 10:35:05 +0200 |
|---|---|---|
| committer | lassulus <lassulus@lassul.us> | 2017-09-03 10:35:05 +0200 |
| commit | 6ed86f26f4b65c27205d9c36adcbe9018dab7eb1 (patch) | |
| tree | 55c3d3bdf2d8248950ca57546aac6ace7c2d36fe /krebs | |
| parent | 5184d19651f9319d63fd812601f3df635b1416b8 (diff) | |
Reaktor plugins wiki-todo: update feedback text
Diffstat (limited to 'krebs')
| -rw-r--r-- | krebs/5pkgs/simple/Reaktor/plugins.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/krebs/5pkgs/simple/Reaktor/plugins.nix b/krebs/5pkgs/simple/Reaktor/plugins.nix index eb591b274..c611d7471 100644 --- a/krebs/5pkgs/simple/Reaktor/plugins.nix +++ b/krebs/5pkgs/simple/Reaktor/plugins.nix @@ -132,14 +132,15 @@ rec { pattern = "^wiki-todo: (?P<args>.*)$$"; script = pkgs.writeDash "wiki-todo-add" '' echo "$*" >> wiki-todo - echo "added todo" + echo "added todo. check on http://lassul.us/wiki-todo" ''; }; wiki-todo-done = buildSimpleReaktorPlugin "wiki-todo-done" { - pattern = "^wiki-todo-done: (?P<args>.*)$$"; + pattern = "^wiki-done: (?P<args>.*)$$"; script = pkgs.writeDash "wiki-todo-done" '' ${pkgs.gnugrep}/bin/grep -Fvxe "$*" wiki-todo > wiki-todo.tmp ${pkgs.coreutils}/bin/mv wiki-todo.tmp wiki-todo + echo "thank you for resolving todo: $*" ''; }; wiki-todo-show = buildSimpleReaktorPlugin "wiki-todo" { |