diff options
| author | Efraim Flashner | 2023-09-06 14:49:41 +0300 |
|---|---|---|
| committer | Efraim Flashner | 2023-09-19 12:59:33 +0300 |
| commit | 3a54f09147e56d8f0cc8f9c1ff94712de78137a9 (patch) | |
| tree | 97cf59db01b372112bdad35448bcab31b16bdb96 | |
| parent | 382df9849ed64d6ef2ea6ecafbfb090ad49928eb (diff) | |
| download | guix-bioinformatics-3a54f09147e56d8f0cc8f9c1ff94712de78137a9.tar.gz | |
Update pluto server
| -rw-r--r-- | gn/services/pluto.scm | 14 |
1 files changed, 13 insertions, 1 deletions
diff --git a/gn/services/pluto.scm b/gn/services/pluto.scm index 720b769..64e82ac 100644 --- a/gn/services/pluto.scm +++ b/gn/services/pluto.scm @@ -43,9 +43,11 @@ (requirement '(networking)) (modules '((gnu build shepherd) (gnu system file-systems))) + #; (start #~(make-forkexec-constructor/container ;(list #$(file-append package "/runpluto.sh") #$port) - (list #$(file-append package "/runpluto")) + ;(list #$(file-append package "/runpluto")) + (list #$(file-append package "/runsliderservice")) #:log-file "/var/log/pluto.log" #:user "julia" #:group "julia" @@ -58,6 +60,16 @@ (file-system-mapping (source "/etc/ssl") (target source))))) + (start #~(make-forkexec-constructor + ;(list #$(file-append package "/runpluto.sh") #$port) + ;(list #$(file-append package "/runpluto")) + '(#$(file-append package "/runsliderservice")) + #:log-file "/var/log/pluto.log" + #:user "julia" + #:group "julia" + ;; This prevents the service from using /root as $HOME. + ;#:environment-variables '() + )) (stop #~(make-kill-destructor)))))))) (define pluto-service-type |