diff options
| -rw-r--r-- | issues/mgamma/mgamma-cli.gmi | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/issues/mgamma/mgamma-cli.gmi b/issues/mgamma/mgamma-cli.gmi index d530f7f..1ee4dce 100644 --- a/issues/mgamma/mgamma-cli.gmi +++ b/issues/mgamma/mgamma-cli.gmi @@ -1 +1,17 @@ # MGAMMA CLI + +Tasks for the command line interface + +# Tags + +* assigned: pjotrp, artyom +* type: feature +* priority: high + +# Tasks + +* [ ] Provide sane CLI interface +* [ ] Add --map-size 10M switch +* [ ] Use lmdb files instead of dir (no switch for --lmdb) +* [ ] Move mgamma into ./bin +* [ ] Add ./bin/mgemma compatibility tool (note it is not mgamma) |