diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 10:18:31 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 10:18:31 +0200 |
| commit | bef28572e1164b42c9d89c38467a81582d01c4bb (patch) | |
| tree | 43ea7305d133dc8bac66ff94a667d9286f3e2d55 | |
| parent | 25e05d32ba5d2ec07b0e6147b87c19386641647d (diff) | |
config: Add data-dir field.
| -rw-r--r-- | mumi/config.scm.in | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/mumi/config.scm.in b/mumi/config.scm.in index 23ca774..b0fa1a9 100644 --- a/mumi/config.scm.in +++ b/mumi/config.scm.in @@ -72,6 +72,16 @@ (string-replace dir "@prefix@" 0 (string-length "${prefix}")) dir))))) + (data-dir . ,(let ((maybe-dir + (string-append (getcwd) "/data"))) + (if (and (getenv "MUMI_UNINSTALLED") + (file-exists? maybe-dir)) + maybe-dir + (let ((dir "@localstatedir@/mumi/data")) + (if (string-prefix? "${prefix}" dir) + (string-replace dir "@prefix@" + 0 (string-length "${prefix}")) + dir))))) (host . "localhost") (port . 1234) (submission-email-address . "guix-patches@gnu.org") |