scripts: Add support for "--fetch" option.
authorRicardo Wurmus <rekado@elephly.net>
Sun, 21 Jul 2019 10:14:00 +0000 (12:14 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Sun, 21 Jul 2019 11:11:39 +0000 (13:11 +0200)
commitcaa127d37e9e682a461b0d628b58eb80e074c792
tree1825f8cf41169135c6b9b5966226d88c4750480b
parent404e8e072c131e51c1ac4cec0889668d1d187d23
scripts: Add support for "--fetch" option.

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