aboutsummaryrefslogtreecommitdiff
path: root/gn
diff options
context:
space:
mode:
authorArun Isaac2022-03-10 16:29:17 +0530
committerArun Isaac2022-03-10 16:29:17 +0530
commit53a46c6612988f561077408e6b8624810813b0bc (patch)
tree965c2a753b37aafefdfa05dec0aaf5e031b9a82e /gn
parentfcd6b48cd5e7b02e3f336388e9bb38fa6e5f7f76 (diff)
downloadguix-bioinformatics-53a46c6612988f561077408e6b8624810813b0bc.tar.gz
services: databases: Add virtuoso state directory configuration.
* gn/services/databases.scm (<virtuoso-configuration>)[state-directory]: New field. * gn/services/databases.scm (virtuoso-shepherd-service): Use state-directory.
Diffstat (limited to 'gn')
-rw-r--r--gn/services/databases.scm5
1 files changed, 4 insertions, 1 deletions
diff --git a/gn/services/databases.scm b/gn/services/databases.scm
index f8fb01b..deae96d 100644
--- a/gn/services/databases.scm
+++ b/gn/services/databases.scm
@@ -9,6 +9,7 @@
#:export (virtuoso-configuration
virtuoso-configuration?
virtuoso-configuration-package
+ virtuoso-configuration-state-directory
virtuoso-configuration-server-ip
virtuoso-configuration-server-port
virtuoso-configuration-http-server-ip
@@ -24,6 +25,8 @@
virtuoso-configuration?
(package virtuoso-configuration-package
(default virtuoso-ose))
+ (state-directory virtuoso-configuration-state-directory
+ (default "/var/lib/virtuoso"))
(server-ip virtuoso-configuration-server-ip
(default "localhost"))
(server-port virtuoso-configuration-server-port
@@ -70,7 +73,7 @@
(format port "ServerPort = ~a:~a~%"
#$(virtuoso-configuration-http-server-ip config)
#$(virtuoso-configuration-http-server-port config)))))))
- #:directory "/var/lib/virtuoso"
+ #:directory #$(virtuoso-configuration-state-directory config)
#:user "virtuoso"
#:group "virtuoso"))
(stop #~(make-kill-destructor))))