]> git.elephly.net Git - software/mumi.git/commit
scripts: Regularly index the mail directory.
authorRicardo Wurmus <rekado@elephly.net>
Sun, 21 Jul 2019 10:30:44 +0000 (12:30 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Sun, 21 Jul 2019 11:11:39 +0000 (13:11 +0200)
commit64bf6d70099c59ea442bf1641caaab8ad03ce9cd
tree7704da71442805deb0c0657fcee36c938d324a86
parentcaa127d37e9e682a461b0d628b58eb80e074c792
scripts: Regularly index the mail directory.

* 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.
configure.ac
guix.scm
mumi/config.scm.in
scripts/mumi.in