diff options
author | lassulus <lassulus@lassul.us> | 2017-09-01 21:32:36 +0200 |
---|---|---|
committer | lassulus <lassulus@lassul.us> | 2017-09-01 21:32:36 +0200 |
commit | 1234efe72de6912f0a728eaac6c64979a729c973 (patch) | |
tree | ed2b6dc4e6848a8ab6faffeb0e9d30d322b33cf1 /krebs/5pkgs/simple/Reaktor/plugins.nix | |
parent | bd09ea6e3b0408313fdd2787e557e7e02ab8ff86 (diff) |
Reaktor plugins: add wiki-todo
Diffstat (limited to 'krebs/5pkgs/simple/Reaktor/plugins.nix')
-rw-r--r-- | krebs/5pkgs/simple/Reaktor/plugins.nix | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/krebs/5pkgs/simple/Reaktor/plugins.nix b/krebs/5pkgs/simple/Reaktor/plugins.nix index e85e41cfe..d4fa5b1cf 100644 --- a/krebs/5pkgs/simple/Reaktor/plugins.nix +++ b/krebs/5pkgs/simple/Reaktor/plugins.nix @@ -128,4 +128,23 @@ 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" + ''; + }; + wiki-todo-done = buildSimpleReaktorPlugin "wiki-todo-done" { + pattern = "^wiki-todo-done: (?P<args>.*)$$"; + script = pkgs.writeDash "wiki-todo-done" '' + ${pkgs.gnugrep}/bin/grep -vFx "$@" wiki-todo > wiki-todo.tmp + ${pkgs.coreutils}/bin/mv wiki-todo.tmp wiki-todo + ''; + }; + wiki-todo-show = buildSimpleReaktorPlugin "wiki-todo" { + script = pkgs.writeDash "wiki-todo-add" '' + ${pkgs.coreutils}/bin/cat wiki-todo + ''; + }; } |