summaryrefslogtreecommitdiff
path: root/scripts/mumi.in
Commit message (Collapse)AuthorAgeFilesLines
* scripts: Add worker option to refresh database.Ricardo Wurmus2020-03-121-24/+36
| | | | | * scripts/mumi.in: Update the mu index and the Sqlite database when the "--worker" option is provided.
* scripts: Initialize mumimu mail directory.Ricardo Wurmus2020-03-111-0/+2
| | | | * scripts/mumi.in: Initialize configured mail directory.
* scripts: Regularly index the mail directory.Ricardo Wurmus2019-07-211-0/+17
| | | | | | | * configure.ac: Detect mu. * guix.scm: Add "mu" to the environment. * mumi/config.scm.in (%config)[mu-executable]: Add it. * scripts/mumi.in: Spawn "mu index" regularly.
* scripts: Add support for "--fetch" option.Ricardo Wurmus2019-07-211-7/+41
| | | | | | | * scripts/mumi.in (%options): Recognize "fetch" option. (%default-options): Set default for "fetch". * mumi/config.scm.in (%config): Remove extraneous quotes from "lists" and "packages".
* Support live hacking.Arun Isaac2018-11-091-1/+40
| | | | | * scripts/mumi.in: Spawn REPL server to support live hacking, if --listen-repl is provided on the command line.
* Goodbye mu, hello guile-debbugs!Ricardo Wurmus2018-08-281-2/+1
|
* Initial commit.Ricardo Wurmus2017-10-301-0/+25