diff options
Diffstat (limited to 'gn/services/pluto.scm')
| -rw-r--r-- | gn/services/pluto.scm | 17 |
1 files changed, 5 insertions, 12 deletions
diff --git a/gn/services/pluto.scm b/gn/services/pluto.scm index 720b769..420e2cf 100644 --- a/gn/services/pluto.scm +++ b/gn/services/pluto.scm @@ -43,21 +43,14 @@ (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")) + (start #~(make-forkexec-constructor + '(#$(file-append package "/bin/runsliderserver")) #:log-file "/var/log/pluto.log" #:user "julia" #:group "julia" - ;; This prevents the service from using /root as $HOME. - #:environment-variables '() - #:mappings (list (file-system-mapping - (source "/home/jovyan") - (target source) - (writable? #t)) - (file-system-mapping - (source "/etc/ssl") - (target source))))) + #:environment-variables + (list "SSL_CERT_DIR=/etc/ssl/certs" + "SSL_CERT_FILE=/etc/ssl/certs/ca-certificates.crt"))) (stop #~(make-kill-destructor)))))))) (define pluto-service-type |