diff options
author | tv <tv@krebsco.de> | 2017-09-05 23:00:23 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2017-09-05 23:00:23 +0200 |
commit | 1436781119f92cbf431db5e817fba765b24d922a (patch) | |
tree | f8ee298cdddd02beab384b047cc1a76bd1bd26c1 /krebs/5pkgs | |
parent | 77e9bd83e2208d1d732ef505e0e996a2440d5d7c (diff) | |
parent | 71d3f53f2bf767cfbb6e941438431d6083f304b9 (diff) |
Merge remote-tracking branch 'prism/master'
Diffstat (limited to 'krebs/5pkgs')
-rw-r--r-- | krebs/5pkgs/simple/Reaktor/plugins.nix | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/krebs/5pkgs/simple/Reaktor/plugins.nix b/krebs/5pkgs/simple/Reaktor/plugins.nix index e85e41cfe..c611d7471 100644 --- a/krebs/5pkgs/simple/Reaktor/plugins.nix +++ b/krebs/5pkgs/simple/Reaktor/plugins.nix @@ -128,4 +128,24 @@ rec { ''; }); + wiki-todo-add = buildSimpleReaktorPlugin "wiki-todo-add" { + pattern = "^wiki-todo: (?P<args>.*)$$"; + script = pkgs.writeDash "wiki-todo-add" '' + echo "$*" >> wiki-todo + echo "added todo. check on http://lassul.us/wiki-todo" + ''; + }; + wiki-todo-done = buildSimpleReaktorPlugin "wiki-todo-done" { + 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" { + script = pkgs.writeDash "wiki-todo-add" '' + ${pkgs.coreutils}/bin/cat wiki-todo + ''; + }; } |